Commit 2021-03-15 22:29 ddb46177
View on Github →refactor(topology/metric_space/isometry): move Kuratowski embedding to another file (#6678)
This reduces the import dependencies of topology.metric_space.isometry
.
refactor(topology/metric_space/isometry): move Kuratowski embedding to another file (#6678)
This reduces the import dependencies of topology.metric_space.isometry
.