Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_on.congr

Modification history

2020-06-23 13:58
src/topology/continuous_on.lean
refactor(order/filter/basic): define `filter.eventually_eq` (#3134) …
Modified continuous_on.congrView on Github →
2019-10-17 20:03
src/topology/continuous_on.lean
refactor(topology,calculus): change subset condition for composition (#1549) …
Added continuous_on.congrView on Github →