factory for hausdorff + pseudometric => metric #1821
Description
@zstone1 remarked in the conversion about PR #1589 (now merged)
that this factory will improve the code at several places:
"I'll note that there are a handful of places (itll take me a minute to find them all) where we use pseudometric + hausdorff instead of this. Might be nice for a followup PR to add a factory for hausdorff + pseudometric => metric too, and upgrade those places."
link to comment:
#1589 (comment)