Zulip Chat Archive

Stream: triage

Topic: PR #1822: [WIP] feat(ring_theory/dedekind_finite) some ba...


view this post on Zulip Random Issue Bot (Feb 26 2021 at 14:20):

Today I chose PR 1822 for discussion!

[WIP] feat(ring_theory/dedekind_finite) some basics for dedekind finite rings
Created by @Alex J Best (@alexjbest) on 2019-12-22
Labels: WIP, merge-conflict, please-adopt

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Apr 11 2021 at 14:23):

Today I chose PR 1822 for discussion!

[WIP] feat(ring_theory/dedekind_finite) some basics for dedekind finite rings
Created by @Alex J Best (@alexjbest) on 2019-12-22
Labels: WIP, please-adopt

Is this PR still relevant? Any recent updates? Anyone making progress?


Last updated: May 09 2021 at 15:11 UTC