[Merged by Bors] - feat(Topology/Maps): add IsClosedEmbedding.of_comp#32808

gasparattila wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

gasparattila:IsClosedEmbedding.of_compgasparattila/mathlib4:IsClosedEmbedding.of_compCopy head branch name to clipboard