Theorem LieAlgebra.IsKilling.corootSpace_zero_eq_bot

Modification history