Commute time identity (source code)

= Commute time identity

For a random walk on a finite <electrical network>,
$$
\mathbb E_aT_z+\mathbb E_zT_a
=2\left(\sum_{e\in E}c(e)\right)R_{\mathrm{eff}}(a,z).
$$