Theorem Subalgebra.toSubmodule_toSubalgebra

Modification history