Narkawicz, A. (2011). A Formal Proof Of The Riesz Representation Theorem. Journal of Formalized Reasoning, 4(1), 1–24. https://doi.org/10.6092/issn.1972-5787/1952