Skip to content
Commit Verification

feat(RingTheory): regular of finite global dimension #10445

Sign in to view logs

feat(RingTheory): regular of finite global dimension

feat(RingTheory): regular of finite global dimension #10445

Triggered via pull request February 19, 2026 02:33
@Thmoas-GuanThmoas-Guan
synchronize #29796
Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux
Status Success
Total duration 45s
Artifacts –

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
42s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in