Def LinearOrder.ofSubmonoid

Modification history

2026-10-29 02:16
Mathlib/Algebra/Order/Group/Cone.lean
refactor(Algebra/Order): unbundle group and ring cone (#37298) …
Added LinearOrder.ofSubmonoidView on Github →