Relation between signed long and signed long long minima.
Theorem: slong-min-vs-sllong-min
(defthm slong-min-vs-sllong-min (= (slong-min) (sllong-min)) :rule-classes :linear)