∫ Утверждение Mathlib
isClosed_cellFrontier
Mathlib.Topology.CWComplex.Classical.Basic
URI: https://scilib.ai/kg/mathlib#Topology.RelCWComplex.isClosed_cellFrontier
∫ Утверждение Mathlib
Mathlib.Topology.CWComplex.Classical.Basic
URI: https://scilib.ai/kg/mathlib#Topology.RelCWComplex.isClosed_cellFrontier