Theorem EMetric.pos_of_mem_ball

Modification history