Theorem Ideal.iInf_pow_smul_eq_bot_of_le_jacobson

Modification history

2025-02-10 20:18
Mathlib/RingTheory/Filtration.lean
feat(RingTheory): Hausdorff-ness of Noetherian rings (#20425)
Added Ideal.iInf_pow_smul_eq_bot_of_le_jacobsonView on Github →