Skip to content

feat(Algebra/RingTheory): global dimension of regular ring#29699

Open
Thmoas-Guan wants to merge 2603 commits intoleanprover-community:masterfrom
Thmoas-Guan:Global-Dimension-of-Regular-Ring
Open

feat(Algebra/RingTheory): global dimension of regular ring#29699
Thmoas-Guan wants to merge 2603 commits intoleanprover-community:masterfrom
Thmoas-Guan:Global-Dimension-of-Regular-Ring

Commits

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 6, 2026

Commits on Mar 9, 2026

Commits on Mar 10, 2026

Commits on Mar 13, 2026

Commits on Mar 14, 2026

Commits on Mar 15, 2026

Commits on Mar 16, 2026

Commits on Mar 17, 2026

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Commits on Mar 20, 2026

Commits on Mar 21, 2026

Commits on Mar 29, 2026

Commits on Mar 30, 2026

Commits on Mar 31, 2026