Skip to content
Post PR summary comment

feat(FieldTheory/Galois): Galois group is profinite #45110

Sign in to view logs

feat(FieldTheory/Galois): Galois group is profinite

feat(FieldTheory/Galois): Galois group is profinite #45110

Triggered via pull request February 8, 2025 04:25
@Thmoas-GuanThmoas-Guan
synchronize #16993
Galois-group-is-profinite
Status Success
Total duration 51s
Artifacts –

PR_summary.yml

on: pull_request
post-or-update-summary-comment
45s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in