Theorem Nat.sqrt_two

Modification history

2026-06-18 23:59
Mathlib/Data/Nat/Sqrt.lean
chore: bump toolchain to v4.32.0-rc1 (#40732)
Modified Nat.sqrt_twoView on Github →
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 →