mean ergodic theorem

GPTKB entity