Noetherian

📁 Source: Mathlib/RingTheory/Ideal/Quotient/Noetherian.lean

Statistics

Metric	Count
Definitions	0
Theorems isNoetherianRing	1
Total	1

Ideal.Quotient

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isNoetherianRing 📖	mathematical	—	IsNoetherianRing HasQuotient.Quotient Ideal CommSemiring.toSemiring CommRing.toCommSemiring Ideal.instHasQuotient_1 semiring	—	isNoetherianRing_iff isNoetherian_of_tower IsScalarTower.right isNoetherian_quotient

---

← Back to Index