A first course in ergodic theory. (2021)