Theorem LieSubmodule.iSup_eq_top_iff_coe_toSubmodule

Modification history