Finite topology property + simple theorems#1803

prabau merged 20 commits into

mainpi-base/data:mainfrom

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