issue !4#28716: A semisimple Lie algebra with irreducible...

Stream: triage

[Random Issue Bot]

Today I chose issue #28716 for discussion!

A semisimple Lie algebra with irreducible root system is simple
Created by @Oliver Nash (@ocfnash) on 2025-08-20
Labels:

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

[Oliver Nash]

I believe @Janos Wolosz may be thinking about this.