[Merged by Bors] - feat(Topology/Homeomorph): add Equiv.IsHomeomorph_iff and LinearEquiv.IsHomeomorph_iff #38660

sharky564 wants to merge 5 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

sharky564:SK_IsHomeomorphism_Gapssharky564/mathlib4:SK_IsHomeomorphism_GapsCopy head branch name to clipboard