Nuprl Lemma : vr_upd_lst_ks_wf
[i:
]. [lst: List]. (vr_upd_lst_ks(i;lst) 
List)
Error : references
\mforall{}[i:\mBbbZ{}]. \mforall{}[lst:\mBbbZ{} List]. (vr\_upd\_lst\_ks(i;lst) \mmember{} \mBbbZ{} List)
Date html generated:
2012_02_20-PM-07_50_54
Last ObjectModification:
2012_02_02-PM-01_54_44
Home
Index