Theorem UniformSpace.DiscreteUnif.eq_const_of_cauchy

Modification history