Commit 2019-05-19 13:39 cb4c9ee7
View on Github →refactor(topology/metric/gromov_hausdorff): make Hausdorff_edist irreducible (#1052)
- refactor(topology/metric/gromov_hausdorff): remove linarith calls
- refactor(topology/metric/hausdorff_dist): make hausdorff_dist irreducible