Vocabulary
inverse

Inputs
math-inversean object
revquotan object
constan object


Outputs
revquot*an object
quotan object


Definition


: pull-inverse
( math-inverse revquot const -- revquot* quot )
assure-constant rot first compose ;