Theorem Submodule.IsPrincipal.generator_map_dvd_of_mem

Modification history