Theorem RatFunc.finrank_ratFunc_ratFunc

Modification history

2026-03-05 14:15
Mathlib/FieldTheory/RatFunc/Basic.lean
feat(RatFunc): add notation for RatFunc (#36172) …
Modified RatFunc.finrank_ratFunc_ratFuncView on Github →
2025-08-14 12:53
Mathlib/FieldTheory/RatFunc/Basic.lean
feat(RatFunc): liftAlgebra and rank (#27640) …
Added RatFunc.finrank_ratFunc_ratFuncView on Github →