Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lcm_eq_nat_lcm

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 lcm_eq_nat_lcmView on Github →