Theorem Nat.div2_succ

Modification history