« 单纯百科 Simplopedia
Wiki.
Lie 型有限单群
[FSLT]
SimplicialCat
定义