Function INVSIN

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

Slots on this function:

Instance-Of: Function

Arity: 2

Equivalence Axioms:

(<=> (Invsin ?Sin) (= (Sin ?Angle) ?Sin))

Other Related Axioms:

(=> (= (Invsin ?Sin) ?Angle) (= (Sin ?Angle) ?Sin))