2021-06-13 今日の数学 2021/6/13 日記 今日の数学 [1] ブルバキ多様体: principal fiber bundle の入り口まで. [2] ブルバキ位相線型空間: 亜連続双線型写像.