Theorem Nat.eq_of_testBit_eq

Modification history