Commit 2019-10-05 12:20 7df0e350

View on Github →

chore(topology): sanity_check pass (#1510)

  • chore(topology): sanity_check pass
  • fix(topology/uniform_space/separation): fix build
  • fix(topology/metric_space): some more namespace fixes

Estimated changes