Component-number zero-one law for the wired uniform spanning forest (source code)

= Component-number zero-one law for the wired uniform spanning forest

The number of trees in a wired uniform spanning forest is almost surely constant. This follows from its tail triviality together with the fact that every component is infinite.