Riesz representation September 7, 2026 by jlamprecht https://en.wikipedia.org/wiki/Riesz_representation_theorem
