Documentation

FltRegular.FltRegular

Statement of Fermat's last theorem for regular primes.

Equations
Instances For
    theorem flt_regular {p : } [Fact (Nat.Prime p)] (hreg : IsRegularPrime p) (hodd : p 2) :

    Fermat's last theorem for regular primes.