More stuff on finitely many open sets#1818

artemetra wants to merge 14 commits into

mainpi-base/data:mainfrom

artem/finite-topology-2pi-base/data:artem/finite-topology-2Copy head branch name to clipboard