Theorem Nat.two_pow_pos

Modification history

2024-02-12 07:17
Mathlib/Data/Nat/Pow.lean
chore: bump dependencies (#10446)
Deleted Nat.two_pow_posView on Github →
2023-11-21 16:32
Mathlib/Data/Nat/Pow.lean
feat: theorems about power of twos (#8547) …
Added Nat.two_pow_posView on Github →