Theorem LipschitzWith.mul

Modification history

2024-08-26 10:46

Mathlib/Analysis/Normed/Group/Uniform.lean

feat: Local lipschitzness under pointwise operations (#16115)

Added LipschitzWith.mul View on Github →