Theorem Metric.isGLB_infDist

Modification history