やったこと

論文

様々な定義を整理して、とりあえず重要だと思っている定理の証明をした。
多分大丈夫‥‥。大丈夫なはず‥‥。