mem_of_not_isPredLimit — Mathlib · SciLib

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

mem_of_not_isPredLimit

Mathlib.Order.SuccPred.Limit

URI: https://scilib.ai/kg/mathlib#IsGLB.mem_of_not_isPredLimit

← MathLib Explorer