m, a matrix, a map m : F <--- P between free modules of ranks f and p.
n, a matrix, a map n : G <--- Q between free modules of ranks g and q.
Outputs:
h, a matrix, a matrix with the shape h : F ** dual G <--- P ** dual Q, whose entry in the slot hg*i+j,q*k+l is the result of differentiating nj,l, by mi,k