Theorem EMetric.isOpen_ball

Modification history