Formalizing Schwartz functions and tempered distributions. - Moritz Doll (CoRR, 2025)