in Homotopy Theory, Aug 23, 2021 at 15:35, by Aaron Mazel-Gee
@AT0 Welcome! Just so you and others know, this room is mostly inactive these days; the conversation has migrated to a discord server, which can be accessed here: nodorek.net . I'd suggest that if you have further or follow-up questions you ask them there.
