Theorem EMetric.infEdist_image

Modification history