Si m, n ∈ ℕ, entonces gcd(m,n) = gcd(n,m)
Demostrar que si m, n ∈ ℕ, entonces gcd(m,n) = gcd(n,m).
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 6 |
import data.nat.gcd open nat variables k m n : ℕ example : gcd m n = gcd n m := sorry |