Wedge product/Finite-dimensional/Dimension/Fact/Proof
< Wedge product < Finite-dimensional < Dimension <
Fact
Proof
This follows directly from
fact
and fact.
To fact