Commit 2024-02-07 17:07 e4d4665e

View on Github →

feat(GroupTheory/SpecificGroups/Coxeter) : Add Coxeter Systems and Coxeter Groups (#8223) Coxeter Systems and Coxeter Groups

Estimated changes