Theorem Ideal.isRadical_jacobson

Modification history