Algebraic fundamental groups of fake projective planes. - Stover, Matthew (Journal of the European Mathematical Society (EMS Publishing), 2026)