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

aleph_eq_preAleph

Mathlib.SetTheory.Cardinal.Aleph

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

← MathLib Explorer