Frechet Urysohn + Weakly First Countable + US => First countable#1627

prabau merged 10 commits intomainpi-base/data:mainfrom

frechetweaklyfirstcountablepi-base/data:frechetweaklyfirstcountableCopy head branch name to clipboard