Use to instead of constructing ToddCoxeter from WordGraph - #462
Merged
Joseph-Edwards merged 1 commit intoJul 24, 2026
Merged
to instead of constructing ToddCoxeter from WordGraph - #462