Commit 2025-05-19 19:51 8cb76a47
View on Github →feat: simple lie algebras have irreducible root systems (#24849) Simple lie algebras have irreducible root systems
feat: simple lie algebras have irreducible root systems (#24849) Simple lie algebras have irreducible root systems