Commit 2024-03-31 21:48 522c6682
View on Github →chore: move Coxeter groups file (#11804)
Move GroupTheory.SpecificGroups.Coxeter
to GroupTheory.Coxeter.Basic
.
chore: move Coxeter groups file (#11804)
Move GroupTheory.SpecificGroups.Coxeter
to GroupTheory.Coxeter.Basic
.