chore: rephrase t2Space_iff_of_continuous_surjective_open#135

grunweg merged 1 commit intoleanprover-community:masterleanprover-community/sphere-eversion:masterfrom

Ruben-VandeVelde:t2Space_iff_of_continuous_surjective_openRuben-VandeVelde/sphere-eversion:t2Space_iff_of_continuous_surjective_openCopy head branch name to clipboard