Theorem Submodule.coe_toSubalgebra

Modification history