Explicit expanders and the Ramanujan conjectures | Synapse