Skip to content
Post PR summary comment

[Merged by Bors] - Feat (NumberTheory/Ostrowski): Proof of the non-archimedean case of Ostrowski's Theorem #3135

Sign in to view logs

[Merged by Bors] - Feat (NumberTheory/Ostrowski): Proof of the non-archimedean case of Ostrowski's Theorem

[Merged by Bors] - Feat (NumberTheory/Ostrowski): Proof of the non-archimedean case of Ostrowski's Theorem #3135

Triggered via pull request June 25, 2024 08:54
@fbarroerofbarroero
synchronize #14026
fbarroero_ostrowski_nonarch
Status Success
Total duration 37s
Artifacts –

PR_summary.yml

on: pull_request
build
27s
build
Fit to window
Zoom out
Zoom in