User:Markov Odometer


 * Markov odometer
 * Projection (measure theory)
 * To do: Wiener's ergodic theorem or maybe more general: ergodic theorem for group action