Nuprl Definition : C_TYPE_eq
C_TYPE_eq(a;b) == C_TYPE_eq_fun(a) b
Definitions occuring in Statement :
C_TYPE_eq_fun: C_TYPE_eq_fun(a),
apply: f a
FDL editor aliases :
C_TYPE_eq
C\_TYPE\_eq(a;b) == C\_TYPE\_eq\_fun(a) b
Date html generated:
2015_07_17-AM-07_42_45
Last ObjectModification:
2014_06_08-PM-08_06_00
Home
Index