isAffine_affineScheme — Mathlib · SciLib

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

isAffine_affineScheme

Mathlib.AlgebraicGeometry.AffineScheme

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.isAffine_affineScheme

← MathLib Explorer