mathlib
0e50527e - WIP showing convergence if sqrt_aux gets near the answer

Commit

3 years ago

WIP showing convergence if sqrt_aux gets near the answer

Author

Smaug123

Smaug123

Parents

Loading