Ergodicity of an irrational rotation #
In this file we prove that rotation of AddCircle p
by a
is ergodic
if and only if a
has infinite order (in other words, if a / p
is irrational).
In this file we prove that rotation of AddCircle p
by a
is ergodic
if and only if a
has infinite order (in other words, if a / p
is irrational).