Theorem IsNoetherianRing.isNilpotent_nilradical
Modification history
2024-11-11 10:06
Mathlib/RingTheory/Noetherian/Defs.lean
chore(RingTheory/Noetherian): split `Noetherian.lean` (#18734) …
Modified IsNoetherianRing.isNilpotent_nilradicalView on Github →