Theorem Ideal.radical_eq_jacobson

Modification history