issue !4#28715: Show that `LieAlgebra.IsKilling.rootSyste...

Stream: triage

[Random Issue Bot]

Today I chose issue #28715 for discussion!

Show that LieAlgebra.IsKilling.rootSystem is right inverse to RootPairing.GeckConstruction.lieAlgebra
Created by @Oliver Nash (@ocfnash) on 2025-08-20
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?

[Oliver Nash]

Still relevant. Should follow easily from #28714 and #10069