Theorem LieAlgebra.IsKilling.root_apply_coroot

Modification history