Theorem Units.compare_val

Modification history

2025-09-15 10:13
Mathlib/Algebra/Order/Monoid/Units.lean
feat: a better version of `LinearOrder.lift` (#29436) …
Added Units.compare_valView on Github →