Theorem FunctionField.inftyValuation.X_inv

Modification history

2025-08-14 19:32
Mathlib/NumberTheory/FunctionField.lean
refactor(FunctionField): use `exp` instead of `ofAdd` (#28283) …
Added FunctionField.inftyValuation.X_invView on Github →