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 2025 at 21:32 UTC
That statement is unprovable
The closest you can get is docs#equiv.set.univ
Last updated: Dec 20 2025 at 21:32 UTC