Theorem EMetric.infEdist_singleton

Modification history