We prove that any compact Berkovich space over the field of Laurent series over an arbitrary field is angelic. In particular, is it sequentially compact.
生成讲解博客的中文版本
生成AI智能校验的中文版本