Theorem Metric.uniformity_basis_dist_pow

Modification history