Property: (right/left) DCC annihilator

Definition: (right DCC annihilator) Descending chain condition on right annihilators=Ascending chain condition on left annihilators

(No citations retrieved.)

(No metaproperty information retrieved.)