Theorem Nat.log2_two

Modification history

2025-09-15 12:54
Mathlib/Data/Nat/Sqrt.lean
chore: bump toolchain to v4.24.0-rc1 (#29671)
Modified Nat.log2_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.log2_twoView on Github →