Loading paper
Monoidality of Franke's Exotic Model | Tomesphere