Theorem Units.val_lt_val

Modification history

2022-12-07 03:37
Mathlib/Algebra/Order/Monoid/Units.lean
feat: port Algebra.Order.Monoid.[TypeTags, Units] (#873) …
Added Units.val_lt_valView on Github →