ゼミのノートを上げようと言うやつです。 実はゼミのノートは結構な量があるのですが、まとめて作ったら誤植のオンパレードになって大惨事なので、最初から無理せずこうやって小分けにして書けばよかったのです。 内容なまぁよくあるPrikry type forcingです…