リー微分、外微分、内微分の関係は 微分インフラとはカルタン微分計算系 - 檜山正幸のキマイラ飼育記 (はてなBlog) カルタン微分計算系はいいぞ - 檜山正幸のキマイラ飼育記 (はてなBlog) に書いた。 https://planetmath.org/cartancalculus （マジック公式…