Theorem Int.testBit_bit_succ

Modification history

2024-02-12 07:17
Mathlib/Data/Int/Bitwise.lean
chore: bump dependencies (#10446)
Added Int.testBit_bit_succView on Github →