PR #13067: feat(ring_theory/dedekind_domain): Chinese rem...

Stream: triage

[Random Issue Bot]

Today I chose PR 13067 for discussion!

feat(ring_theory/dedekind_domain): Chinese remainder theorem for Dedekind domains
Created by @Anne Baanen (@Vierkantor) on 2022-03-30
Labels: awaiting-author

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