Lie-Ableitung
Die äußere Ableitung formula_91 einer formula_18-Form formula_21 wird induktiv mithilfe der Lie-Ableitung und der Cartan-Formel