Entry	Value
Package Name	list-interval-thm
Count	3
Theorems	length_interval : !m n. LENGTH (interval m n) = n map_suc_interval : !m n. MAP SUC (interval m n) = interval (SUC m) n nth_interval : !m n i. i < n ==> nth (interval m n) i = m + i

Back to main package page