Skip to content
Check workflows

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

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 #4668

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

actionlint.yml

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