Theorem Nat.zero_testBit

Modification history