Theorem Metric.uniformity_basis_dist_le

Modification history