isSuccPrelimit_iff_of_noMax — Mathlib · SciLib

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

isSuccPrelimit_iff_of_noMax

Mathlib.Order.SuccPred.Limit

URI: https://scilib.ai/kg/mathlib#Order.isSuccPrelimit_iff_of_noMax

← MathLib Explorer