Theorem Ideal.map_eq_submodule_map

Modification history