Theorem Nat.div2_one

Modification history