Theorem FunctionField.inftyValuation.X_zpow

Modification history

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