Theorem IsOrderedRing.ofSubsemiring

Modification history

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