The map $TC(SS)^{\wedge}{p}\to holim holim TC(L{n}SS)^{\wedge}_{p}$ is a weak equivalence.
生成讲解博客的中文版本
生成AI智能校验的中文版本