[Merged by Bors] - refactor(Topology): use WithTopology to define WithConstructibleTopology#39621

chrisflav wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

chrisflav:with-constructible-fixchrisflav/mathlib4:with-constructible-fixCopy head branch name to clipboard