[Merged by Bors] - chore(FunctionField): move inftyValuation and FqtInfty to RatFunc namespace#38030

xgenereux wants to merge 6 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

xgenereux:RatFunc.InftyValuation-movexgenereux/mathlib4:RatFunc.InftyValuation-moveCopy head branch name to clipboard