Commit 2026-05-07 09:23 b44002bd
View on Github →feat: use Cartan's criterion for semisimplicty to drop redundant hypotheses (#38760) Thanks to @jano-wol 's work culminating in #38749 we can drop two redundant hypotheses about non-degeneracy of Killing forms.