We show that the set of torsion elements of a topological group admitting a branch pro-pp quotient has Haar measure zero.
生成讲解博客的中文版本
生成AI智能校验的中文版本