/src/Data/Nat/GCD/

• ../
• Lemmas.agda