Entry	Value
Package Name	list-last-thm
Count	2
Theorems	LAST_MULTIPLE : !x1 x2 l. LAST (CONS x1 (CONS x2 l)) = LAST (CONS x2 l) LAST_SING : !x. LAST [x] = x

Back to main package page