Theorem Submodule.toSubalgebra_toSubmodule

Modification history