Introduction

也许会分类存放一些遇到的有趣的证明、题目之类。