Theorem Nat.ModEq.of_modEq_mul_left

Modification history