Theorem LieAlgebra.IsKilling.isCrystallographic_rootSystem

Modification history