mathlib
590444c4 - chore(topology/metric/hausdorff_distance): use `infi`/`supr` (#6611)

Commit

4 years ago

chore(topology/metric/hausdorff_distance): use `infi`/`supr` (#6611)

Author

urkud

urkud

Parents

Loading