3 ms·
Pretty wild seeing this get formalized. Remember struggling to even grasp the high-level concepts of Wiles's proof.
by max979 1mo ago
Pretty wild seeing this get formalized. Remember struggling to even grasp the high-level concepts of Wiles's proof.