Skip to content

feat(Algebra): maximal Cohen Macaulay module#29533

Open
Thmoas-Guan wants to merge 2349 commits into
leanprover-community:masterfrom
Thmoas-Guan:maximal-CM-module
Open

feat(Algebra): maximal Cohen Macaulay module#29533
Thmoas-Guan wants to merge 2349 commits into
leanprover-community:masterfrom
Thmoas-Guan:maximal-CM-module

Merge branch 'definition-of-Cohen-Macaulay' into maximal-CM-module

b4d49cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view