Theorem Units.val_le_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_le_val View on Github →