Theorem Nat.mul_add_mod'

Modification history