Theorem Subalgebra.mem_toSubmodule

Modification history