Tensor product/Wedge product/Fact/Via constructions/Exercise

Prove fact directly from the construction of the tensor product and the construction of the wedge product.

Create a solution