Theorem Nat.mul_eq_one_iff

Modification history

2023-04-12 19:26
Mathlib/Data/Nat/Order/Basic.lean
feat: Dot notation aliases (#3303) …
Deleted Nat.mul_eq_one_iffView on Github →
2022-12-10 13:28
Mathlib/Data/Nat/Order/Basic.lean
feat: port Data.Nat.Order.Basic (#907) …
Added Nat.mul_eq_one_iffView on Github →