Nuprl Lemma : bar_26_3a_imp_bar_26_4a

(R: List  . bar_26_3a{i:l}(R))  bar_26_4a{i:l}()


Proof not projected

Error : references
(\mforall{}R:\mBbbN{}  List  {}\mrightarrow{}  \mBbbP{}.  bar\_26\_3a\{i:l\}(R))  {}\mRightarrow{}  bar\_26\_4a\{i:l\}()


Date html generated: 2013_03_20-AM-11_02_11
Last ObjectModification: 2013_03_14-PM-01_10_30

Home Index