Mathlib v3 is deprecated. Go to Mathlib v4

Theorem gcd_eq_nat_gcd

Modification history

2021-08-16 08:39
src/ring_theory/int/basic.lean
feat(algebra/gcd_monoid): move the `gcd_monoid nat` instance (#7180) …
Added gcd_eq_nat_gcdView on Github →