Relation IMPROVED-BY

Arity: 2

Axioms:

(= (Inverse Improves) Improved-By)

• Defined in theory: Actors
• Source code: Actors.lisp