Function SQUARE

• Defined in theory: Vt-design
• Source code: vt-design.lisp

Slots on this function:

Instance-Of: Function

Arity: 2

Other Related Axioms:

(<- (Square ?X) (* ?X ?Y))