Theorem LipschitzOnWith.div

Modification history

2024-08-26 10:46

Mathlib/Analysis/Normed/Group/Uniform.lean

feat: Local lipschitzness under pointwise operations (#16115)

Added LipschitzOnWith.div View on Github →