Skip to content
Check workflows

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

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

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

actionlint.yml

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