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

omega_eq_preOmega

Mathlib.SetTheory.Cardinal.Aleph

URI: https://scilib.ai/kg/mathlib#Ordinal.omega_eq_preOmega

← MathLib Explorer