Theorem locallyLipschitzOn_inv_iff

Modification history

2024-08-26 10:46
Mathlib/Analysis/Normed/Group/Uniform.lean
feat: Local lipschitzness under pointwise operations (#16115)
Added locallyLipschitzOn_inv_iffView on Github →