Theorem EMetric.ball_prod_same

Modification history