Theorem Submodule.IsPrincipal.generator_mem

Modification history