Nuprl Lemma : classrel-list-exists
A:
'. X:EClass'(A). es:EO'. e:E. (
L:(A 
E) List. classrel-list(es;A;X;L;e))
Proof not projected
Error : references
\mforall{}A:\mBbbU{}'. \mforall{}X:EClass'(A). \mforall{}es:EO'. \mforall{}e:E. (\mdownarrow{}\mexists{}L:(A \mtimes{} E) List. classrel-list(es;A;X;L;e))
Date html generated:
2012_02_20-PM-07_50_50
Last ObjectModification:
2011_07_24-PM-04_06_29
Home
Index