mathlib3
cef78dd4 - feat(archive/abel_ruffini): speedup by squeezing (#9709)

Commit

4 years ago

feat(archive/abel_ruffini): speedup by squeezing (#9709) 30s->9s elaboration for me, hopefully stop #9705 timing out

Author

alexjbest

Parents