Theorem NeZero.of_gt

Modification history

2023-10-05 06:34

Mathlib/Algebra/Order/Monoid/Canonical/Defs.lean

chore: rename CanonicallyOrderedAddMonoid to ..AddCommMonoid (#7503) …

Modified NeZero.of_gt View on Github →

2022-12-01 10:59

Mathlib/Algebra/Order/Monoid/Canonical/Defs.lean

feat: port Algebra.Order.Monoid.Canonical.Defs (#778) …

Added NeZero.of_gt View on Github →