Theorem Metric.inductiveLimitDist_eq_dist

Modification history