Alternating multilinear map (source code)

= Alternating multilinear map

An alternating multilinear map vanishes whenever two arguments are equal. Swapping two arguments reverses its sign.