Theorem LieSubmodule.sup_coe_toSubmodule

Modification history