Theorem IsSMulRegular.submodule

Modification history