Zulip Chat Archive
Stream: Lean Together 2026
Topic: Moritz Doll - Schwartz functions and tempered distributions
Markus Himmel (Jan 20 2026 at 12:34):
Discussion thread for the talk.
Last updated: Feb 28 2026 at 14:05 UTC
Discussion thread for the talk.
Last updated: Feb 28 2026 at 14:05 UTC