The story
Initially proven by Bernhard Riemann (1857); further work was done by Riemann's student Gustav Roch (1865).
Etymology from Wiktionary, CC BY-SA 4.0.
Today it means: An important theorem in complex analysis and algebraic geometry for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. Full definition →
Initially proven by Bernhard Riemann (1857); further work was done by Riemann's student Gustav Roch (1865).
Etymology from Wiktionary, CC BY-SA 4.0.