ド・ラーム・コホモロジーとホッジ分解のオモチャ (2/2) - 檜山正幸のキマイラ飼育記の証明部分（枠内）は、半形式的になるように意識したのだが、そのとき感じた雑多なこと。 任意のxを選ぶ。 xを任意とする。 任意のxに対して 以上は同義で、自由変数xを含…