Source: cirosantilli/alternating-multilinear-map

= Alternating multilinear map

Implies <antisymmetric multilinear map>.