鄙人刚学群论，耗时 0.8 day 无法战胜 Burnside 引理，被各种形式化语言反复吊打，有无大佬推荐好文，在下感激不尽。