Theorem Metric.mem_ball'

Modification history