Commit 2025-08-31 02:01 0950f17f
View on Github →chore: adaptations for batteries#1395 (better Newton starting point for Nat.sqrt) (#29142)
This PR adapts the proofs in Mathlib about Nat.sqrt, for the changes proposed in batteries#1395 which makes Nat.sqrt much faster on large numbers.
This should not be merged before that PR, and the lakefile needs fixing up.