Mathlib v3 is deprecated. Go to Mathlib v4

Theorem differentiable_on.congr

Modification history

2019-10-17 20:03
src/analysis/calculus/deriv.lean
refactor(topology,calculus): change subset condition for composition (#1549) …
Added differentiable_on.congrView on Github →