Theorem LieSubmodule.coe_toSubmodule_eq_iff

Modification history