mem_supportSet_iff_of_mem — Mathlib · SciLib

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

mem_supportSet_iff_of_mem

Mathlib.AlgebraicGeometry.IdealSheaf.Basic

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

← MathLib Explorer