The Siegel Modular Group is the Lattice of Minimal Covolume in the Symplectic Group | Synapse