zeta): add lemmas (#11753)

Commit

3 years ago

feat(number_theory/cyclotomic/zeta): add lemmas (#11753) Various lemmas about `zeta`. From flt-regular. Co-authored-by: Eric <ericrboidi@gmail.com>

Author

riccardobrasca

Parents