of — Mathlib · SciLib

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

of

Mathlib.AlgebraicGeometry.Morphisms.Basic

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.AffineTargetMorphismProperty.of

← MathLib Explorer