Theorem RatFunc.valuedCompletionAtInfty.def

Modification history

2026-04-14 14:26
Mathlib/FieldTheory/RatFunc/Valuation.lean
chore(FunctionField): move `inftyValuation` and `FqtInfty` to `RatFunc` namespace (#38030) …
Added RatFunc.valuedCompletionAtInfty.defView on Github →