Duals of \(L^p\)-spaces
ItaLean 2025 – Bridging Formal Mathematics and AI
Bologna, Italy — December 9th–12th, 2025
All vector spaces in this document are over the field \(\mathbb {R}\) of real numbers.