PR !4#12673: feat: add ContDiff.lipschitzOnWith

Stream: triage

[Random Issue Bot]

Today I chose PR 12673 for discussion!

feat: add ContDiff.lipschitzOnWith
Created by @None (@grunweg) on 2024-05-05
Labels: awaiting-author, t-analysis

Is this PR still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

This issue is still relevant (and on my backlog of things to tend to). That said: help on this is welcome, a comment by sgouezel explains what to do.