 Dual Cauchy identity for symmetric functions

Apply the symmetric-function involution in one alphabet to the ordinary Cauchy identity. It changes complete generators to elementary ones and, by the dual Jacobi–Trudi identity, sends $s_{\lambda }$ to $s_{{\lambda }^{\prime }}$. This proves the identity as a formal series and relates pairings with transposed Young shapes to squarefree matrix weights.