We show that the assumption lambda > kappa^+ in the Trichotomy Theorem cannot be relaxed to lambda > kappa .
生成讲解博客的中文版本
生成AI智能校验的中文版本