Theorem Metric.frontier_thickening_disjoint

Modification history