Step
*
of Lemma
list-value-type
∀[T:Type]. value-type(T List)
BY
{ Auto }
Latex:
Latex:
\mforall{}[T:Type].  value-type(T  List)
By
Latex:
Auto
Home
Index