cauchy_integral): squeeze simp (#18225)

Commit

2 years ago

chore(analysis/complex/cauchy_integral): squeeze simp (#18225) This speeds up the proof by a factor of 3 (from 17s to 5s on gitpod)

Author

eric-wieser

Parents