∫ Утверждение Mathlib
instInhabitedFqtInfty
Mathlib.NumberTheory.FunctionField
URI: https://scilib.ai/kg/mathlib#FunctionField.instInhabitedFqtInfty
∫ Утверждение Mathlib
Mathlib.NumberTheory.FunctionField
URI: https://scilib.ai/kg/mathlib#FunctionField.instInhabitedFqtInfty