Order

📁 Source: Mathlib/Algebra/Algebra/Subalgebra/Order.lean

Statistics

Metric	Count
Definitions	0
Theorems toIsOrderedRing, toIsStrictOrderedRing	2
Total	2

Subalgebra

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
toIsOrderedRing 📖	mathematical	—	IsOrderedRing Subalgebra SetLike.instMembership instSetLike toSemiring Subtype.partialOrder	—	Subsemiring.toIsOrderedRing
toIsStrictOrderedRing 📖	mathematical	—	IsStrictOrderedRing Subalgebra SetLike.instMembership instSetLike toSemiring Subtype.partialOrder	—	Subsemiring.toIsStrictOrderedRing

---

← Back to Index