Theorem Ideal.exists_map_eq_of_isGalois

Modification history