basic): add lemmas (#11266)

Commit

4 years ago

feat(ring_theory/polynomial/cyclotomic/basic): add lemmas (#11266) From flt-regular. Co-authored-by: Eric Rodriguez <ericrboidi@gmail.com>

Author

riccardobrasca

Parents