Theorem EMetric.isClosed_ball_top

Modification history