用户: Ruiqi chen

本页是我所写内容的索引页, 包含一些笔记等杂散内容, 笔者学识浅薄, 内容未经校对, 仅供参考.

目录

	1 Algebraic Number Theory
	2 Homotopy Type Theory
	3 CoursesNotes —— 在北大上学期间所作课程笔记.

目录

	1 蝾螈引理
	2 一类群的非单性 —— $p^3-p$ 阶群非单, 来源于经典的 $336$ 阶群非单.
	3 简明无限 Galois 对应