Loading paper
Coherence for invertible objects and multi-graded homotopy rings | Tomesphere