feat(RingTheory): definition of Gorenstein local ring #144520
Triggered via pull request
April 14, 2026 13:22
Thmoas-Guan
Thmoas-Guan
synchronize
#31884
Status
Success
Total duration
1m 5s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
1m 1s