Right ray topologies on omega_1 are not injectively path connected#1728

prabau merged 1 commit intomainpi-base/data:mainfrom

s220-p38pi-base/data:s220-p38Copy head branch name to clipboard