Theorem LieSubalgebra.coe_lieSpan_eq_span_of_forall_lie_eq_zero

Modification history