Definition: Every matrix ring of $R$ is Dedekind finite
(No citations retrieved.)
(No metaproperty information retrieved.)