4 ms·
If you want to check the statement, you only have to read the type. The proof itself you don’t have to read at all
by Jaxan 9mo ago
If you want to check the statement, you only have to read the type. The proof itself you don’t have to read at all