Entry	Value
Package Name	list-replicate-def
Count	2
Theorems	REPLICATE_0 : !x. REPLICATE x 0 = [] REPLICATE_SUC : !x n. REPLICATE x (SUC n) = CONS x (REPLICATE x n)

Back to main package page