Theorem one_min

Modification history

2026-05-12 09:49

Mathlib/Algebra/Order/IsBotOne.lean

feat: `min` and `max` theorems for `IsBotZeroClass` (#39057) …

Modified one_min View on Github →

2026-05-06 19:54

Mathlib/Algebra/Order/IsBotOne.lean

feat: `IsBotOneClass` and `IsBotZeroClass` (#38730) …

Modified one_min View on Github →

2022-12-01 10:59

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

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

Added one_min View on Github →