>>159
少なくともカテゴリー定理と閉グラフ定理は出てくるよ。
一番最近の版の話だけど。