« 单纯百科 Simplopedia
Wiki.
基本群
[基本群]
SimplicialCat
观念
生象
的
基本群
是其
环路空间
的
$0$-截断
.