Theorem Nat.ModEq.modEq_cancel_right_of_coprime

Modification history