Nuprl Definition : eqof

eqof(d) ==  d


FDL editor aliases :  eqof
Latex:
eqof(d)  ==    d


Date html generated: 2016_05_14-AM-06_06_20
Last ObjectModification: 2015_09_22-PM-05_48_11

Theory : equality!deciders


Home Index