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