We prove that the simplicial complex whose simplices are the nonempty partial bases of FnFn is homotopy equivalent to a wedge of (n−1)(n−1)-spheres. Moreover, we show that it is Cohen-Macaulay.
生成讲解博客的中文版本
生成AI智能校验的中文版本