Theorem LieSubalgebra.isLieAbelian_lieSpan_iff

Modification history