isLocalMax_const — Mathlib · SciLib

∫ Утверждение Mathlib

isLocalMax_const

Mathlib.Topology.Order.LocalExtr

URI: https://scilib.ai/kg/mathlib#isLocalMax_const

← MathLib Explorer