Theorem LieSubmodule.disjoint_iff_coe_toSubmodule

Modification history