Theorem LocallyLipschitzOn.div

Modification history

2024-08-26 10:46

Mathlib/Analysis/Normed/Group/Uniform.lean

feat: Local lipschitzness under pointwise operations (#16115)

Added LocallyLipschitzOn.div View on Github →