search

math-comp / bigenough

Asymptotic reasoning with bigenough
4 stars 3 forks source link

Adapt to https://github.com/math-comp/math-comp/pull/1246 #12

Closed proux01 closed 4 months ago

proux01 commented 4 months ago

We discovered this line is now useless during CUDW. Probably not any noticeable speed-up (haven't measured) but still good as a cleanup.

Successfully tested on https://github.com/math-comp/math-comp/pull/1246

proux01 commented 4 months ago

Thanks