Dec-dec-induct
(dec-dec-induct n m) inducts by simultaneously subtracting
1 each from n and m, until either one reaches 0.
Definitions and Theorems
Function: dec-dec-induct
(defun dec-dec-induct (n m)
(if (or (zp n) (zp m))
nil
(dec-dec-induct (- n 1) (- m 1))))
