Theorem nat.mul_eq_one_iff
Modification history
2023-04-05 07:48
src/data/nat/order/basic.lean
feat(algebra/divisibility/basic): Dot notation aliases (#18698) …
Deleted nat.mul_eq_one_iffView on Github →2022-12-03 19:18
src/data/nat/order/basic.lean
chore(nat/order/basic): remove implicit variables (#17707)
Modified nat.mul_eq_one_iffView on Github →