Theorem exists_isLocalExtr_Ioo

Modification history

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