Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_local_max_on.comp_continuous_on

Modification history

2021-02-01 09:10
src/topology/local_extr.lean
chore(*): split some long lines (#5988)
Modified is_local_max_on.comp_continuous_onView on Github →
2020-07-20 20:30
src/topology/local_extr.lean
feat(topology/local_extr): add lemmas on composition with continuous functions (#3459)
Added is_local_max_on.comp_continuous_onView on Github →