We prove that if μ>cf(μ)=ωμ>cf(μ)=ω and 2μ=μ+2μ=μ+ then (μ+μ)↛(μ+ ℵ2μ μ)(μμ+)↛(μ μμ+ ℵ2).
生成讲解博客的中文版本
生成AI智能校验的中文版本