Theorem exists_isExtrOn_Ioo_of_tendsto

Modification history

2023-07-26 10:47
Mathlib/Topology/Algebra/Order/Rolle.lean
refactor: split `Analysis.Calculus.LocalExtr` (#5944) …
Added exists_isExtrOn_Ioo_of_tendstoView on Github →