Find the geodesic automaton for any Coxeter group
Updated 2023-01-04 22:41:12 +00:00