Theorem Metric.mem_cocompact_of_closedBall_compl_subset

Modification history