Theorem LieSubalgebra.span_univ

Modification history