Theorem LieAlgebra.IsKilling.coroot_zero

Modification history