Theorem Nat.ModEq.self_mul_add

Modification history