Theorem DifferentiableOn.diffContOnCl

Modification history

2023-05-30 10:47

Mathlib/Analysis/Calculus/DiffContOnCl.lean

feat: port Analysis.Calculus.DiffContOnCl (#4492)

Added DifferentiableOn.diffContOnCl View on Github →