(typo-numbers) → *
Function: typo-numbers
(defun typo-numbers nil (declare (xargs :guard t)) (let ((__function__ 'typo-numbers)) (declare (ignorable __function__)) *typo-numbers*))
Theorem: setp-of-typo-numbers
(defthm setp-of-typo-numbers (setp (typo-numbers)))