feat(RingTheory): regular of finite global dimension#29796
Open
Thmoas-Guan wants to merge 1384 commits intoleanprover-community:masterfrom
Open
feat(RingTheory): regular of finite global dimension#29796Thmoas-Guan wants to merge 1384 commits intoleanprover-community:masterfrom
Thmoas-Guan wants to merge 1384 commits intoleanprover-community:masterfrom
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Dec 5, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 8, 2025
Commits on Dec 9, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 15, 2025
Commits on Dec 16, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 17, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 22, 2025
Commits on Dec 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 29, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 1, 2026
- committed
Commits on Jan 5, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 23, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jan 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 26, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jan 27, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 15, 2026
Commits on Feb 16, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 19, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed