Theorem Nat.lt_of_testBit

Modification history