∫ Утверждение Mathlib

fromFunctionField_toRationalMap

Mathlib.AlgebraicGeometry.RationalMap

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.RationalMap.fromFunctionField_toRationalMap

← MathLib Explorer