Products of spaces with countable $k$-network#1550

prabau merged 7 commits intomainpi-base/data:mainfrom

product-k-networkpi-base/data:product-k-networkCopy head branch name to clipboard