Theorem Subalgebra.prod_toSubmodule

Modification history