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