basicOpen_le — Mathlib · SciLib

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

basicOpen_le

Mathlib.AlgebraicGeometry.Sites.SmallAffineZariski

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

← MathLib Explorer