Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ratfunc.is_coprime_num_denom

Modification history

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