Theorem Nat.bitwise_zero

Modification history