A complete formalization of Fermat's Last Theorem for regular primes in Lean

by ColinWrighton 6/16/2025, 9:08 AMwith 0 comments

0