1.1 Overview

This is a placeholder for the introduction.

The aim of this project is to collect definitions and statements from the theory of automorphic forms in one place, with consistent notation and with permanent tags, so that each of them can be cited precisely. Proofs are, as a rule, not reproduced: every statement instead comes with a pointer to a place in the literature where a proof can be found.