待施工目录

也就是一些专题。

学完了还没写的

集合幂级数相关

Schreier–Sims

线代相关

准备学的

线性规划相关

已完成的