Finite-energy flow criterion for transience (source code)

= Finite-energy flow criterion for transience

An infinite locally finite connected graph is a <transient graph> exactly when it supports a unit flow from a vertex to infinity with finite <energy of a flow>.