Theorem Metric.thickening_eq_preimage_infEdist

Modification history