Translation ergodicity of Bernoulli percolation
= Translation ergodicity of Bernoulli percolation
The <independent> <edge> law of <bond percolation> on $\mathbb Z^d$ is ergodic under lattice translations: every translation-invariant event has <probability> zero or one.