Def LieAlgebra.IsKilling.rootSystem

Modification history