mathlib
7a5fac38 - feat(ring_theory/roots_of_unity): primitive root lemmas (#10356)

Commit

4 years ago

feat(ring_theory/roots_of_unity): primitive root lemmas (#10356) From the flt-regular project.

Author

ericrbg

Parents