[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Shapes as types, to define extension types... The spectral basis of the integers modulo a square-free integer $\mathbb{Z} / n \mathbb{Z}$: $2p$: $(p, p + 1)$ category: redirected to nlab