Theorem LieSubalgebra.span_union

Modification history