Theorem isCoprime_div_gcd_div_gcd

Modification history

2023-06-19 09:13
Mathlib/RingTheory/EuclideanDomain.lean
feat: The numerator and denominator of a rational function are coprime (#5136) …
Added isCoprime_div_gcd_div_gcdView on Github →