Theorem Int.sign_pow_bit1

Modification history

2024-05-13 15:49
Mathlib/Data/Int/Dvd/Pow.lean
chore: Delete `Data.Int.Dvd.Pow` (#12823) …
Deleted Int.sign_pow_bit1View on Github →
2022-12-17 23:54
Mathlib/Data/Int/Dvd/Pow.lean
feat: port Data.Int.Dvd.Pow (#1087) …
Added Int.sign_pow_bit1View on Github →