Nuprl Definition : dec_eq_type
dec_eq_type(T) == 
x,y:T. Dec(x = y)
Definitions occuring in Statement :
decidable: Dec(P),
all: x:A. B[x],
equal: s = t
FDL editor aliases :
dec_eq_type
dec\_eq\_type(T) == \mforall{}x,y:T. Dec(x = y)
Date html generated:
2013_03_20-AM-09_45_36
Last ObjectModification:
2012_12_06-PM-11_46_56
Home
Index