Theorem Submodule.mem_toSubalgebra

Modification history