Theorem IsClosed.exists_infDist_eq_dist

Modification history