ProjectOverview • 4

local n-analytic group
local n-analytic spectrum
local arithmetic group
local arithmetic n-spectrum
adelic integrals