Commit 2024-08-26 10:46 c8c57e08

View on Github →

feat: Local lipschitzness under pointwise operations (#16115)

Estimated changes

added theorem LipschitzOnWith.div
added theorem LipschitzOnWith.mul
modified theorem LipschitzWith.div
deleted theorem LipschitzWith.mul'
added theorem LipschitzWith.mul
added theorem LocallyLipschitz.div
added theorem LocallyLipschitz.mul
added theorem LocallyLipschitzOn.div
added theorem LocallyLipschitzOn.mul