fix(topology/metric_space/gromov_hausdorff): squeeze all simps (#17049)
fix(topology/metric_space/gromov_hausdorff): squeeze all simps (#17049)






leanprover-community/mathlib,leanprover-community/mathlib