Alternating multilinear map (source code)

= Alternating multilinear map

Implies <antisymmetric multilinear map>.