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: May 02 2025 at 03:31 UTC
When #9675 is merged, we should be able to get rid of as_small in the condensed folder of LTE.
Last updated: May 02 2025 at 03:31 UTC