Property: Dedekind finite

(No citations retrieved.)

(No metaproperty information retrieved.)