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: Dec 20 2023 at 11:08 UTC
When #9675 is merged, we should be able to get rid of as_small in the condensed folder of LTE.
Last updated: Dec 20 2023 at 11:08 UTC