Loading paper
On coherent Hopf 2-algebras | Tomesphere