Skip to content
Label New Contributors

[Merged by Bors] - feat(NumberTheory/Padics): Mahler coeffs tend to 0 #47177

Sign in to view logs

[Merged by Bors] - feat(NumberTheory/Padics): Mahler coeffs tend to 0

[Merged by Bors] - feat(NumberTheory/Padics): Mahler coeffs tend to 0 #47177

Triggered via pull request November 23, 2024 17:34
@loefflerdloefflerd
synchronize #19340
DL_mahler_part1
Status Success
Total duration 14s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
5s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in