Skip to content

feat(RingTheory): definition of Gorenstein local ring#31884

Open
Thmoas-Guan wants to merge 589 commits into
leanprover-community:masterfrom
Thmoas-Guan:Gorenstein-Local-Ring-Def
Open

feat(RingTheory): definition of Gorenstein local ring#31884
Thmoas-Guan wants to merge 589 commits into
leanprover-community:masterfrom
Thmoas-Guan:Gorenstein-Local-Ring-Def

Update Mathlib.lean

e398b62
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 23, 2026 in 1m 13s