Theorem Nat.zero_of_testBit_eq_false

Modification history