Theorem LieAlgebra.IsKilling.corootSpace_eq_bot_iff

Modification history