TY  - RPRT
TI  - Formalizing Schwartz functions and tempered distributions
AU  - Moritz Doll
PY  - 2026
UR  - https://arxiv.org/abs/2510.24060
ID  - 2510.24060
ER  -