Commit 2024-10-10 07:55 4cd3a900

View on Github →

feat(NumberTheory/Fermat): Fermat numbers (#17000)

Estimated changes

added theorem coprime_fermat_fermat
added def fermat
added theorem fermat_eq_prod_add_two
added theorem fermat_one
added theorem fermat_product
added theorem fermat_two
added theorem fermat_zero
added theorem odd_fermat
added theorem strictMono_fermat
added theorem two_lt_fermat