Theorem Int.testBit_bit_zero

Modification history

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