Nuprl Lemma : vr_test_length_ext2
[A:Type]. ((A 
A) 
A)
Proof not projected
Error : references
\mforall{}[A:Type]. ((A \mwedge{} A) {}\mRightarrow{} A)
Date html generated:
2012_02_20-PM-07_50_55
Last ObjectModification:
2012_02_02-PM-03_29_23
Home
Index