Theorem Nat.ofAdd_mul

Modification history