Theorem Units.min_val

Modification history

2025-09-15 10:13

Mathlib/Algebra/Order/Monoid/Units.lean

feat: a better version of `LinearOrder.lift` (#29436) …

Modified Units.min_val View on Github →

2022-12-07 03:37

Mathlib/Algebra/Order/Monoid/Units.lean

feat: port Algebra.Order.Monoid.[TypeTags, Units] (#873) …

Added Units.min_val View on Github →