Skip to content
Check workflows

feat(RingTheory): Gorenstein local ring is Cohen--Macaulay local ring of type one #4589

Sign in to view logs

feat(RingTheory): Gorenstein local ring is Cohen--Macaulay local ring of type one

feat(RingTheory): Gorenstein local ring is Cohen--Macaulay local ring of type one #4589

Triggered via pull request March 12, 2026 12:18
@Thmoas-GuanThmoas-Guan
synchronize #33380
Thmoas-Guan:Gorenstein-Local-Ring-is-CM-of-type-one
Status Success
Total duration 19s
Artifacts –

actionlint.yml

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