Theorem Nat.ModEq.gcd_eq_of_modEq

Modification history