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

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

This follows directly from fact and fact.