Def Submonoid.topOrderMonoidIso

Modification history

2025-08-22 16:06
Mathlib/Algebra/Order/Hom/Submonoid.lean
feat(Algebra/Order): two auxiliary definitions (#28667) …
Added Submonoid.topOrderMonoidIsoView on Github →