Zulip Chat Archive

Stream: maths

Topic: Is the hierachy fixed?

Notification Bot (Jun 30 2024 at 21:53):

This topic was moved to #Type theory > Is the hierarchy fixed? by Eric Wieser.

Last updated: May 02 2025 at 03:31 UTC