Skip to content
Maintainer merge

feat(Dynamics/BirkhoffSum): add the pointwise ergodic theorem (Birkhoff's) #180145

Sign in to view logs

feat(Dynamics/BirkhoffSum): add the pointwise ergodic theorem (Birkhoff's)

feat(Dynamics/BirkhoffSum): add the pointwise ergodic theorem (Birkhoff's) #180145

Triggered via pull request December 16, 2025 23:55
@lua-vrlua-vr
edited #26923
Status Success
Total duration 7s
Artifacts –

maintainer_merge.yml

on: pull_request_review_comment
Ping maintainers on Zulip
4s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in