Wedge product/Natural duality/Finite-dimensional/Fact

< Wedge product < Natural duality < Finite-dimensional

Let be a field, and let be a finite-dimensional vector space. Let .

Then there exists a natural

isomorphism

given by

(with and

).