Substitute each formal
(isodata-gen-subst-x1...xn-with-back-of-x1...xn term old$ arg-isomaps wrld) → new-term
Function:
(defun isodata-gen-subst-x1...xn-with-back-of-x1...xn (term old$ arg-isomaps wrld) (declare (xargs :guard (and (pseudo-termp term) (symbolp old$) (isodata-symbol-isomap-alistp arg-isomaps) (plist-worldp wrld)))) (let ((__function__ 'isodata-gen-subst-x1...xn-with-back-of-x1...xn)) (declare (ignorable __function__)) (b* ((x1...xn (formals old$ wrld)) (back-of-x1...xn (isodata-gen-back-of-terms x1...xn arg-isomaps))) (subcor-var x1...xn back-of-x1...xn term))))