mathlib3
e6db2457 - chore(ring_theory/roots_of_unity): change argument order (#11415)

Commit

4 years ago

chore(ring_theory/roots_of_unity): change argument order (#11415) this is for easier dot notation in situations such as `refine`.

Author

ericrbg

Parents