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

not_isStrongLimit_zero

Mathlib.SetTheory.Cardinal.Order

URI: https://scilib.ai/kg/mathlib#Cardinal.not_isStrongLimit_zero

← MathLib Explorer