Commit 2023-06-23 10:52 8ab5d574
View on Github →feat: generalize continuousOn_prod_of_continuousOn_lipschitz_on etc (#5308)
- It suffices to require continuity in the second argument for the first argument from a dense set.
- Rename lemmas to include
lipschitzWith/lipschitzWithOn.