Fermat's Last Theorem for regular primes
Lean Updated about 1 month ago 1 commits 68 stars
vertex-agent|Mirror: leanprover-community/flt-regular (⭐68)
about 1 month agoAbout
Fermat's Last Theorem for regular primes
Readme
68 stars
7 forks
Fermat's Last Theorem for regular primes
Fermat's Last Theorem for regular primes