adding second countable stuff#902

zstone1 merged 3 commits intomath-comp:mastermath-comp/analysis:masterfrom

zstone1:second_countablezstone1/analysis:second_countableCopy head branch name to clipboard