Nuprl Definition : eq_id
a = b == IdDeq a b
Definitions occuring in Statement :
id-deq: IdDeq,
apply: f a
FDL editor aliases :
eq_id
a = b == IdDeq a b
Date html generated:
2012_01_23-AM-11_52_51
Last ObjectModification:
2011_12_09-PM-07_12_30
Home
Index