Fermat's Last Theorem for Regular Primes (Short Paper).
Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi
Browse the full ITP paper archive.
Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi
Browse the full ITP paper archive.