timeouts in topology/metric_space/gromov_hausdorff.lean

Stream: general

[Scott Morrison]

Anyone else experienced a deterministic timeout recently at src/topology/metric_space/gromov_hausdorff.lean:592:9? (Hoping someone else has a fix in the works. :-)