subset_of_mem_nhdsSet — Mathlib · SciLib

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

subset_of_mem_nhdsSet

Mathlib.Topology.NhdsSet

URI: https://scilib.ai/kg/mathlib#subset_of_mem_nhdsSet

← MathLib Explorer