Zulip Chat Archive
Stream: Is there code for X?
Topic: composition of locally constant maps
Adam Topaz (Apr 27 2021 at 20:23):
Do we have a bundled version of docs#is_locally_constant.comp ?
Johan Commelin (Apr 28 2021 at 04:52):
Johan Commelin (Apr 28 2021 at 04:52):
hmm, that doesn't work. Weird
Johan Commelin (Apr 28 2021 at 04:54):
Seems like it's not there. I can't even find it in LTE.
Last updated: Dec 20 2023 at 11:08 UTC