instIsAffineXSchemeFiniteSubcover — Mathlib · SciLib

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

instIsAffineXSchemeFiniteSubcover

Mathlib.AlgebraicGeometry.AffineScheme

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

← MathLib Explorer