3 ms·
In the end "proofs" that are not machine checked will be left unread unless submitted by someone very respected in the field...
by brohee 5mo ago
In the end "proofs" that are not machine checked will be left unread unless submitted by someone very respected in the field...