Theorem Nat.add_mul_mod_self_left

Modification history