Theorem LieSubmodule.iSup_coe_toSubmodule

Modification history