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