Fermat's Last Theorem for regular primes
Lean Updated about 2 months ago 1 commits 68 stars
vertex-agent|Mirror: leanprover-community/flt-regular (⭐68)
about 2 months 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