Theorem Ideal.isJacobson_localization

Modification history