New topology lemmas#2027

amolinamounier wants to merge 3 commits into

math-comp:mastermath-comp/analysis:masterfrom

amolinamounier:topology_newamolinamounier/mathcomp-analysis:topology_newCopy head branch name to clipboard