Theorem Metric.infDist_image

Modification history