Zulip Chat Archive
Stream: condensed mathematics
Topic: universes
Adam Topaz (Oct 12 2021 at 15:27):
When #9675 is merged, we should be able to get rid of as_small in the condensed folder of LTE.
Last updated: Feb 28 2026 at 14:05 UTC
When #9675 is merged, we should be able to get rid of as_small in the condensed folder of LTE.
Last updated: Feb 28 2026 at 14:05 UTC