Subfield

📁 Source: Mathlib/Algebra/Order/Field/Subfield.lean

Statistics

Metric	Count
Definitions	0
Theorems toIsStrictOrderedRing	1
Total	1

Subfield

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
toIsStrictOrderedRing 📖	mathematical	—	IsStrictOrderedRing Subfield Field.toDivisionRing SetLike.instMembership instSetLike DivisionSemiring.toSemiring Semifield.toDivisionSemiring Field.toSemifield toField Subtype.partialOrder SemilatticeInf.toPartialOrder Lattice.toSemilatticeInf DistribLattice.toLattice instDistribLatticeOfLinearOrder	—	Function.Injective.isStrictOrderedRing

---

← Back to Index