Wedge product/Finite-dimensional/Dimension/Fact/Proof

Proof

This follows directly from fact and fact.