Theorem Nat.bit_zero

Modification history