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

forgetToPresheafedSpace_full

Mathlib.Geometry.RingedSpace.SheafedSpace

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.SheafedSpace.forgetToPresheafedSpace_full

← MathLib Explorer