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

beth_eq_preBeth

Mathlib.SetTheory.Cardinal.Aleph

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

← MathLib Explorer