Theorem Metric.isOpen_ball

Modification history