TY - RPRT TI - A nonstandard-analytic proof of a theorem regarding noncommutative ergodic optimizations AU - Aidan Young PY - 2021 UR - https://arxiv.org/abs/2109.13965 ID - 2109.13965 ER -