Loading paper
Functoriality of bornological groupoid convolution | Tomesphere