isAffine_affineBasisCover — Mathlib · SciLib

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

isAffine_affineBasisCover

Mathlib.AlgebraicGeometry.AffineScheme

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.isAffine_affineBasisCover

← MathLib Explorer