Loading paper
Imprimitivity theorem for groupoid representations | Tomesphere