Theorem Topology.RelCWComplex.closedCell_subset_skeleton

Modification history