mathlib3
346cc93c - fix(number_theory/cyclotomic/primitive_roots): speedup (#15804)

Commit
3 years ago
fix(number_theory/cyclotomic/primitive_roots): speedup (#15804) needed for #15784's reverting of the timeout
Author
Parents
Loading