pullbackSndOfLeft — Mathlib · SciLib

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

pullbackSndOfLeft

Mathlib.Geometry.RingedSpace.OpenImmersion

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.pullbackSndOfLeft

← MathLib Explorer