mu = exteriorMultiplication n
The basis of each $\wedge^p k^n$ is given in lex order.
This is not the order of the basis in the output of koszul ff; rather, use trueKoszul ff.
The object exteriorMultiplication is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/HigherCIOperators.m2:274:0.