120
правок
Изменения
м
→GCD
==Рациональные числа==
==GCD==
'''Тут я не уверен, можем ли использовать ''natMod'' или надо дополнительно реализовывать её.<br/>Ещё мы вроде бы не можем использовать дополнительные функции!'''
gcd :: Nat -> Nat -> Nat
gcd n Zero = n
