Theorem LieSubmodule.coe_toSubmodule

Modification history