Theorem Nat.bitwise'_zero

Modification history