Nuprl Definition : vr_PROOF_IRREL
vr_PROOF_IRREL == 
T:Type. a,b:T. (a = b)
Definitions occuring in Statement :
all: x:A. B[x],
universe: Type,
equal: s = t
FDL editor aliases :
vr_PROOF_IRREL
vr\_PROOF\_IRREL == \mforall{}T:Type. \mforall{}a,b:T. (a = b)
Date html generated:
2012_02_20-PM-03_34_44
Last ObjectModification:
2012_02_02-PM-01_55_37
Home
Index