mathlib3
bb5be046 - perf(ring_theory/polynomial/bernstein): fix timeout (#17484)

Commit

3 years ago

perf(ring_theory/polynomial/bernstein): fix timeout (#17484)

Author

astrainfinita

astrainfinita

Parents

Loading