[Merged by Bors] - chore: rename some OpenPartialHomeomorph declarations#39565

scholzhannah wants to merge 9 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

scholzhannah:scholzhannah/openPartialHomeomorphRenamesscholzhannah/mathlib4:scholzhannah/openPartialHomeomorphRenamesCopy head branch name to clipboard