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: May 02 2025 at 03:31 UTC
That statement is unprovable
The closest you can get is docs#equiv.set.univ
Last updated: May 02 2025 at 03:31 UTC