Theorem LieSubalgebra.lieSpan_le

Modification history