Theorem Topology.RelCWComplex.openCell_subset_skeleton

Modification history