Lower bounds for GL₂ (F_) number fields | Synapse