hausdorff_distance): more properties of cthickening (#10808)

Commit

4 years ago

feat(topology/metric/hausdorff_distance): more properties of cthickening (#10808)

Author

sgouezel

Parents