Theorem UniformFun.lipschitzWith_iff

Modification history