Zulip Chat Archive Stream: new members Topic: Finsets Simon Daniel (Mar 01 2024 at 23:12): (deleted) Last updated: Feb 28 2026 at 14:05 UTC