Theorem Nat.mul_add_mod

Modification history