chore(topology/metric_space/hausdorff_distance): slightly tidy some proofs (#11203)
chore(topology/metric_space/hausdorff_distance): slightly tidy some proofs (#11203)






leanprover-community/mathlib,leanprover-community/mathlib