Field

📁 Source: Mathlib/RingTheory/KrullDimension/Field.lean

Statistics

Metric	Count
Definitions	0
Theorems ringKrullDim_eq_zero_of_field, ringKrullDim_eq_zero_of_isField	2
Total	2

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
ringKrullDim_eq_zero_of_field 📖	mathematical	—	ringKrullDim Semifield.toCommSemiring Field.toSemifield WithBot ENat WithBot.zero instZeroENat	—	Order.krullDim_eq_zero_of_unique
ringKrullDim_eq_zero_of_isField 📖	mathematical	IsField CommSemiring.toSemiring CommRing.toCommSemiring	ringKrullDim WithBot ENat WithBot.zero instZeroENat	—	Order.krullDim_eq_zero_of_unique

---

← Back to Index