Theorem EMetric.infEdist_closure

Modification history