Theorem Submodule.toSubMulAction_one

Modification history