mathlib3
355d68ab - chore(ring_theory/roots_of_unity): primitive roots are not zero (#13587)

Commit

3 years ago

chore(ring_theory/roots_of_unity): primitive roots are not zero (#13587) Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents