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