Loading paper
HR-length of a free group via polynomial functors | Tomesphere