Theorem IsClosed.hausdorffDist_zero_iff_eq

Modification history