Skip to content
Check workflows

feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version) #4634

Sign in to view logs

feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version)

feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version) #4634

Triggered via pull request March 20, 2026 16:00
@Thmoas-GuanThmoas-Guan
synchronize #29703
Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
Status Success
Total duration 23s
Artifacts –

actionlint.yml

on: pull_request
actionlint
21s
actionlint
ensure-sha-pinned-actions
12s
ensure-sha-pinned-actions
Fit to window
Zoom out
Zoom in