Zulip Chat Archive Stream: maths Topic: Homotopy theory Joël Riou (May 30 2025 at 13:28): (deleted) Last updated: Feb 28 2026 at 14:05 UTC