We prove that the tropical surface of the root system An−1An−1 has degree 12n(n−1)(n−2)21n(n−1)(n−2).
生成讲解博客的中文版本
生成AI智能校验的中文版本