feat(RingTheory/Artinian/Ring): an Artinian ring is isomorphic to the product of its localizations#38031
Open
tb65536 wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat(RingTheory/Artinian/Ring): an Artinian ring is isomorphic to the product of its localizations#38031tb65536 wants to merge 1 commit intoleanprover-community:masterfrom
tb65536 wants to merge 1 commit intoleanprover-community:masterfrom
