Theorem UniformFun.lipschitzWith_eval

Modification history