Theorem Ideal.comap_map_eq_self_of_faithfullyFlat

Modification history