Dedekind finite ring

Summary