Theorem Nat.sqrt_two

Modification history

2025-08-31 02:01
Mathlib/Data/Nat/Sqrt.lean
chore: adaptations for batteries#1395 (better Newton starting point for Nat.sqrt) (#29142) …
Added Nat.sqrt_twoView on Github →