Theorem Nat.div2_val

Modification history