Skip to content
Check workflows

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

Sign in to view logs

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

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

Triggered via pull request February 19, 2026 02:39
@Thmoas-GuanThmoas-Guan
synchronize #29703
Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
Status Success
Total duration 20s
Artifacts –

actionlint.yml

on: pull_request
actionlint
17s
actionlint
Fit to window
Zoom out
Zoom in