The antisymmetrization map Altπ:π0 k(π)βπΏπalt(π) is defined by Altπ(π)(π£1,β¦,π£π)β1π!βπβππsgn(π)π(π£π1,β¦,π£ππ) Note This a is map from tensors to space of alternating maps.