Theorem Nat.testBit_bitwise'

Modification history