Theorem Nat.of_add_mul

Modification history