not_isMax_iff — Mathlib · SciLib

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

not_isMax_iff

Mathlib.Order.Max

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

← MathLib Explorer