Loading paper
Minimum degree of 3-graphs without long linear paths | Tomesphere