Theorem Nat.exists_mul_emod_eq_gcd

Modification history