Theorem Nat.div2_bit0

Modification history