leanprover-communityflt-regular

Fermat's Last Theorem for regular primes
Displaying 1-1 of 1 packages depending on leanprover-community/flt-regular
Sort by

  1. riccardobrasca/KummerCriterionusesa859475

    Proof of Kummer's criterion for regularity of a prime in Lean