mathlib
da66bb81 - feat(*): preparations for roots of unity (#4322)

Commit

5 years ago

feat(*): preparations for roots of unity (#4322)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading