Solution (source code)

= Solution

The <percolation probability> and <percolation critical probability> are
$$
\theta(p)=\mathbb P_p(0\leftrightarrow\infty),
\qquad
p_c=\inf\{p:\theta(p)>0\}.
$$