Theorem LieSubmodule.sSup_coe_toSubmodule

Modification history