Theorems about symbol-name-lst in the Std/basic library.
Theorem: string-listp-of-symbol-name-lst
(defthm string-listp-of-symbol-name-lst (string-listp (symbol-name-lst syms)))
Theorem: len-of-symbol-name-lst
(defthm len-of-symbol-name-lst (equal (len (symbol-name-lst syms)) (len syms)))
