 Wedge product of differential forms

The wedge product is the alternating tensor product of differential forms. It is associative and graded-commutative and satisfies the graded Leibniz rule for the exterior derivative.