Theorem LieSubalgebra.coe_to_submodule_eq_iff

Modification history