Relation IS-ABSCISSA-VALUE-OF

Arity: 2

Axioms:

(= (Inverse Abscissa-Value) Is-Abscissa-Value-Of)

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