Property: stably finite

Definition: Every matrix ring of $R$ is Dedekind finite

(No citations retrieved.)

(No metaproperty information retrieved.)