Assertion: irrational rotation | /r/HasProperty | ergodic
Facets:
value: uniquely
type: DEGREE
Source sentences:
text: Irrational rotations are uniquely ergodic, with the Lebesgue measure serving as the unique invariant probability measure.