Theorem RatFunc.intDegree_inv

Modification history

2026-03-05 14:15
Mathlib/FieldTheory/RatFunc/Degree.lean
feat(RatFunc): add notation for RatFunc (#36172) …
Modified RatFunc.intDegree_invView on Github →
2025-07-31 10:28
Mathlib/FieldTheory/RatFunc/Degree.lean
feat(RatFunc/Degree): intDegree_inv (#27625) …
Added RatFunc.intDegree_invView on Github →