Def Units.orderEmbeddingVal

Modification history

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