Theorem nilradical_eq_bot_iff

Modification history

2026-09-14 10:09
Mathlib/RingTheory/Nilpotent/Lemmas.lean
feat(RingTheory/Radical): radical of principal ideals in a UFD (#40857) …
Modified nilradical_eq_bot_iffView on Github →
2025-02-25 14:06
Mathlib/RingTheory/Nilpotent/Lemmas.lean
feat(RingTheory): Artinian rings over Jacobson rings (#21904)
Added nilradical_eq_bot_iffView on Github →