Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_coprime_div_gcd_div_gcd

Modification history

2023-06-15 15:45
src/ring_theory/euclidean_domain.lean
feat(field_theory/ratfunc): The numerator and denominator of a rational function are coprime (#18652) …
Added is_coprime_div_gcd_div_gcdView on Github →