Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function_field.valued_Fqt_infty.def

Modification history

2022-03-24 10:12

src/number_theory/function_field.lean

feat(number_theory/function_field): add completion with respect to place at infinity (#12715)

Added function_field.valued_Fqt_infty.def View on Github →