O que é wedgegeneral?

O produto exterior se estende a uma aplicação bilinear $\Lambda^kE^* \times \Lambda^\ell E^* \to \Lambda^{k+\ell}E^*$, determinada pela bilinearidade e por $(e_I^*) \wedge (e_J^*) = e_I^* \wedge e_J^*$ (concatene e reordene; o produto é $0$ se $I \cap J \neq \varnothing$). Ele é associativo e anticomutativo graduado: