After the war, his accomplishments became known, including a proof that a positive proportion of the zeros of the Riemann zeta function lie on the line .
After the war, his accomplishments became known, including a proof that a significant portion of the zeros of the Riemann zeta function lie on the line .