I propose a notion of (ω1,β)(ω1,β)-morass for the case $\omega_1 \leq \beta$.
生成讲解博客的中文版本
生成AI智能校验的中文版本