Theorem Nat.testBit_two_pow

Modification history