Theorem Metric.uniformity_basis_dist_le_pow

Modification history