Theorem generator_maximal_submoduleImage_dvd

Modification history