Theorem Metric.isBounded_iff_subset_ball

Modification history