Theorem Nat.add_mul_mod_self_right

Modification history