Loading paper
Inductive limit violates quasi-cocommutativity | Tomesphere