Theorem Ideal.comap_surjective_of_faithfullyFlat

Modification history