We characterise when a rank nn generalised Baumslag-Solitar group is CAT(0) and when it is biautomatic.
生成讲解博客的中文版本
生成AI智能校验的中文版本