Theorem Nat.ModEq.of_modEq_mul_right

Modification history