Function SQUARE

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

Slots on this function:

Arity: 2

Axioms:

(=> (Square ?X ?Y) (= ?Y (* ?X ?Y)))