Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.gcd_eq_gcd

Modification history

2021-08-16 08:39
src/algebra/gcd_monoid.lean
feat(algebra/gcd_monoid): move the `gcd_monoid nat` instance (#7180) …
Deleted nat.gcd_eq_gcdView on Github →
2021-04-14 23:14
src/algebra/gcd_monoid.lean
feat(group_theory/perm/cycle_type): Cycle type of a permutation (#6999) …
Added nat.gcd_eq_gcdView on Github →