One-level density for holomorphic cusp forms of arbitrary level

In 2000 Iwaniec, Luo, and Sarnak proved for certain families of L-functions associated to holomorphic newforms of square-free level that, under the Generalized Riemann Hypothesis, as the conductors tend to infinity the one-level density of their zeros matches the one-level density of eigenvalues of large random matrices from certain classical compact groups in the appropriate scaling limit. We remove the square-free restriction by obtaining a trace formula for arbitrary level by using a basis developed by Blomer and Milićević, which is of use for other problems as well.