Zulip Chat Archive
Stream: new members
Topic: infoview
Eric Wieser (Jul 17 2021 at 22:04):
That statement is unprovable
Eric Wieser (Jul 17 2021 at 22:04):
The closest you can get is docs#equiv.set.univ
Last updated: Dec 20 2023 at 11:08 UTC
That statement is unprovable
The closest you can get is docs#equiv.set.univ
Last updated: Dec 20 2023 at 11:08 UTC