Transfer-current theorem
= Transfer-current theorem
{wiki}
For oriented edges $e_1,\ldots,e_k$, the probability that their unoriented versions all belong to a uniform spanning tree is the determinant of the matrix of transfer currents between them. In particular, every finite forest that can be extended to a spanning tree has positive inclusion probability.