mathlib3
e690875d - chore(ring_theory/roots_of_unity): generalise (#13261)

Commit

3 years ago

chore(ring_theory/roots_of_unity): generalise (#13261)

Author

ericrbg

ericrbg

Parents

Loading