toOpens_injective — Mathlib · SciLib

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

toOpens_injective

Mathlib.AlgebraicGeometry.Sites.SmallAffineZariski

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

← MathLib Explorer