Theorem Nat.bit0_bits

Modification history