Theorem RatFunc.finrank_ratFunc_ratFunc

Modification history

2025-08-14 12:53
Mathlib/FieldTheory/RatFunc/Basic.lean
feat(RatFunc): liftAlgebra and rank (#27640) …
Added RatFunc.finrank_ratFunc_ratFuncView on Github →