Kingman's subadditive ergodic theorem

GPTKB entity