Theorem isBot_one

Modification history

2025-05-13 08:28

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

chore: remove `CanonicallyOrdered{Mul, Add}.toOrderBot` (#24094) …

Added isBot_one View on Github →