Theorem LieSubalgebra.lieSpan_mono

Modification history