## Interior Antiderivations

If is a vector space then any form extends to a unique anti-derivation of the exterior algebra , i.e.,

for homogenous

If is a basis of V, the dual basis and if denotes we have the following action on monomials

(The sign is negative if the number of terms preceding the matching one is odd)