今日の時点で, [1] ブルバキリー群: リー等質空間のところまで. (C^r 級の代わりに C^r_i 級で成り立つかどうかの検証をしていました.) [2] ブルバキ積分: 作用素の積分. (原著ではスカラー体が R の場合の定式化だが, 複素係数の場合にも成り立つかどうかの…