Russo-Seymour-Welsh theorem (source code)

= Russo-Seymour-Welsh theorem
{c}
{wiki=Russo–Seymour–Welsh_theorem}

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.