∫ Утверждение Mathlib
isAffineOpen_basicOpen
Mathlib.AlgebraicGeometry.ProjectiveSpectrum.Basic
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Proj.isAffineOpen_basicOpen
∫ Утверждение Mathlib
Mathlib.AlgebraicGeometry.ProjectiveSpectrum.Basic
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Proj.isAffineOpen_basicOpen