Theorem LieAlgebra.SpecialLinear.sl_non_abelian

Modification history