Theorem RatFunc.isCoprime_num_denom

Modification history

2026-03-05 14:15
Mathlib/FieldTheory/RatFunc/Basic.lean
feat(RatFunc): add notation for RatFunc (#36172) …
Modified RatFunc.isCoprime_num_denomView on Github →
2023-06-19 09:13
Mathlib/FieldTheory/RatFunc.lean
feat: The numerator and denominator of a rational function are coprime (#5136) …
Added RatFunc.isCoprime_num_denomView on Github →