Theorem LieSubalgebra.span_empty

Modification history