Skip to content
lint and suggest

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

Sign in to view logs

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

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

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 2m 1s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint and suggest
1m 59s
Lint and suggest
Fit to window
Zoom out
Zoom in