Adds contractible = true to spaces with excluded/particular point topologies#847

GeoffreySangston wants to merge 2 commits into

mainpi-base/data:mainfrom

contractible_excluded_particular_point_topologiespi-base/data:contractible_excluded_particular_point_topologiesCopy head branch name to clipboard