Theorem Metric.mem_closedBall_self

Modification history