4 ms·
Can do it in pure ZF: https://www.youtube.com/watch?v=YE68yptMMeQ https://www.youtube.com/watch?v=YE68yptMMeQ https://u.cs.biu.ac.il/~katzmik/spot.html https:
by yuppiemephisto 3y ago
Can do it in pure ZF:
https://www.youtube.com/watch?v=YE68yptMMeQ https://www.youtube.com/watch?v=YE68yptMMeQ
https://u.cs.biu.ac.il/~katzmik/spot.html https://u.cs.biu.ac.il/~katzmik/spot.html