Uint-max-vs-slong-max
Relation between
unsigned int and signed long maxima.
Definitions and Theorems
Theorem: uint-max-vs-slong-max
(defthm uint-max-vs-slong-max
(<= (uint-max) (slong-max))
:rule-classes ((:linear :trigger-terms ((uint-max) (slong-max)))))