Theorem Ideal.comap_isMaximal_of_surjective

Modification history