上野さんのレクチャーノートが今日届いたけど、Texじゃないので字が読みにくいな。
内容は良さげだ。
証明の載ってない定理が多いけど。