∫ Утверждение Mathlib
toSpec_preimage_basicOpen
Mathlib.AlgebraicGeometry.ProjectiveSpectrum.Scheme
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.ProjIsoSpecTopComponent.toSpec_preimage_basicOpen
∫ Утверждение Mathlib
Mathlib.AlgebraicGeometry.ProjectiveSpectrum.Scheme
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.ProjIsoSpecTopComponent.toSpec_preimage_basicOpen