Theorem IsCompact.exists_infDist_eq_dist

Modification history