2 ms·
No no; I’m trying to explain that “obviousness” is a bad idea to prove anything... Like “an infinite te has an infinite branch”...
by pfortuny 7y ago
No no; I’m trying to explain that “obviousness” is a bad idea to prove anything...
Like “an infinite te has an infinite branch”...