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: Feb 28 2026 at 14:05 UTC
This topic was moved to #Type theory > Is the hierarchy fixed? by Eric Wieser.
Last updated: Feb 28 2026 at 14:05 UTC