Theorem Metric.uniformity_basis_dist_lt

Modification history