Theorem Ideal.jacobson_eq_radical

Modification history