Zulip Chat Archive Stream: maths Topic: Homotopy theory Joël Riou (May 30 2025 at 13:28): (deleted) Last updated: Dec 20 2025 at 21:32 UTC