We prove that \catX≤cd(π1(X))+⌈dimX−12⌉\catX≤cd(π1(X))+⌈2dimX−1⌉ for every CW complex XX where cd(π1(X))cd(π1(X)) denotes the cohomological dimension of the fundamental group of XX.
生成讲解博客的中文版本
生成AI智能校验的中文版本