Initial topology induced by a family of functions#2003

mkerjean wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

mkerjean:initial_fam_topologymkerjean/analysis:initial_fam_topologyCopy head branch name to clipboard