Theorem PartialOrder.ofSubmonoid_le_iff

Modification history

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