微分形式の幾何学を勉強し始めた。 位相空間論も解析学もちゃんと理解できていないのに大丈夫なのだろうか。 案の定、自分で書いた証明が正しいのか判定することすらできず、周りに聞ける人もいないのでLEANで証明を書きたくなった。 人間のチェックなんて信…