3 ms·
its not clear if theorem is actual input formal definition, or formal definition was in different form.
by riku_iki 2y ago
its not clear if theorem is actual input formal definition, or formal definition was in different form.
loading thread…
3 ms·