mathlib
dbf59ba1 - feat(algebra/roots_of_unity): basic constructor (#11504)

Commit

4 years ago

feat(algebra/roots_of_unity): basic constructor (#11504) from flt-regular Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents