Nuprl Lemma : Cid_wf
Cid() 
Type
Proof not projected
Definitions occuring in Statement :
Cid: Cid(),
member: t T,
universe: Type
Definitions :
int: 
,
member: t T,
equal: s = t,
Cid: Cid()
Cid() \mmember{} Type
Date html generated:
2011_10_20-PM-05_00_19
Last ObjectModification:
2011_05_10-PM-01_20_23
Home
Index