Nuprl Lemma : vr_foldl_wf
[A,B:Type]. f:A 
B B. b:B. lst:A List. (vr_foldl(f;b;lst) 
B)
Proof not projected
Error : references
\mforall{}[A,B:Type]. \mforall{}f:A {}\mrightarrow{} B {}\mrightarrow{} B. \mforall{}b:B. \mforall{}lst:A List. (vr\_foldl(f;b;lst) \mmember{} B)
Date html generated:
2012_02_20-PM-07_50_53
Last ObjectModification:
2012_02_02-PM-01_54_08
Home
Index