Theorem UniformOnFun.lipschitzWith_eval

Modification history