Theorem Metric.ball_half_subset

Modification history