Z/p^r-hyperbolicity via homology - Guy Boyde (2021)