Nuprl Lemma : rletest

n:. L: List. (||L|| = n)


Proof not projected

Error : references
\mforall{}n:\mBbbN{}.  \mexists{}L:\mBbbZ{}  List.  (||L||  =  n)


Date html generated: 2012_02_20-PM-07_50_52
Last ObjectModification: 2011_07_01-PM-01_20_46

Home Index