Theorem Ideal.radical_eq_jacobson_iff_radical_quotient_eq_jacobson_bot

Modification history

2023-05-18 05:52
Mathlib/RingTheory/JacobsonIdeal.lean
feat port RingTheory.JacobsonIdeal (#4061)
Added Ideal.radical_eq_jacobson_iff_radical_quotient_eq_jacobson_botView on Github →