not_isSuccLimit — Mathlib · SciLib

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

not_isSuccLimit

Mathlib.Order.SuccPred.Limit

URI: https://scilib.ai/kg/mathlib#IsMin.not_isSuccLimit

← MathLib Explorer