Theorem Nat.testBit_two_pow_self

Modification history