Theorem Ideal.isMaximal_comap_iff_of_bijective

Modification history