Theorem Subalgebra.map_toSubmodule

Modification history