Theorem Nat.eq_of_mul_eq_mul_right

Modification history

2022-03-01 10:48
Mathlib/Data/Nat/Basic.lean
chore: bump to nightly-2022-03-01 (#216)
Deleted Nat.eq_of_mul_eq_mul_rightView on Github →
2021-07-02 18:14
Mathlib/Data/Nat/Basic.lean
feat(data/nat/gcd.lean): port from Lean 3 (except for pow_dvd_pow_iff) (#20) …
Added Nat.eq_of_mul_eq_mul_rightView on Github →