Russo-Seymour-Welsh theorem (source code)

= Russo-Seymour-Welsh theorem
{c}

= RSW lemma
{c}
{synonym}

At critical planar percolation, the probability of an open crossing of a rectangle of any fixed aspect ratio stays bounded away from zero and one uniformly over its scale.