Commit 2024-02-05 14:11 2e5d90d5
View on Github →chore(Topology): move some definitions to new files (#10151)
In some cases, the order of implicit arguments changed
because now they appear in a different order in variable
s.
Also, some definitions used greek letters for topological spaces,
changed to X
/Y
.