Theorem Nat.testBit_zero

Modification history