mathlib3

bf9bbbcf - feat(field_theory/ratfunc): The numerator and denominator of a rational function are coprime (#18652)

feat(field_theory/ratfunc): The numerator and denominator of a rational function are coprime (#18652) Also make more arguments to `gcd_ne_zero_of_left`/`gcd_ne_zero_of_right` implicit. Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>