Nuprl Lemma : aa_data_wrapnode?_wf
[T:Type]. [x:aa_data_wrapper(T)].  (aa_data_wrapnode?(x)  )
Error : references
\mforall{}[T:Type].  \mforall{}[x:aa\_data\_wrapper(T)].    (aa\_data\_wrapnode?(x)  \mmember{}  \mBbbB{})
Date html generated:
2013_03_20-AM-11_02_38
Last ObjectModification:
2012_11_27-AM-10_33_18
Home
Index