Theorem RatFunc.intDegree_inv

Modification history

2025-07-31 10:28
Mathlib/FieldTheory/RatFunc/Degree.lean
feat(RatFunc/Degree): intDegree_inv (#27625) …
Added RatFunc.intDegree_invView on Github →