Comment by max979

6 hours ago

Pretty wild seeing this get formalized. Remember struggling to even grasp the high-level concepts of Wiles's proof.

0 comments