The Carleson project: A collaborative formalization
VirtualNew Technologies in Mathematics Seminar Speaker: María Inés de Frutos Fernández, Mathematical Institute, University of Bonn Title: The Carleson project: A collaborative formalization Abstract: A well-known result in Fourier analysis […]