Commit 2025-05-01 06:20 9895d546
View on Github →chore: reorganize and rename the Embedding --> Homeomorph constructions (#24113) This is the updated version of #12994
- rename Homeomorph.ofIsEmbedding to
IsEmbedding.toHomeomorph - move Topology.IsEmbedding.toHomeomorph_of_surjective earlier (and PascalCase it)
- rename Homeomorph.homeomorphOfContinuousOpen to
Equiv.toHomeomorphOfContinuousOpen, and similarly for the closed version.