Theorem LieSubmodule.coe_lieSpan_submodule_eq_iff

Modification history