Nuprl Definition : eq_mFO
eq_mFO(x;y) == mFO-equal(x) y
Definitions occuring in Statement :
mFO-equal: mFO-equal(x),
apply: f a
FDL editor aliases :
eq_mFO
eq\_mFO(x;y) == mFO-equal(x) y
Date html generated:
2015_07_17-AM-07_54_06
Last ObjectModification:
2012_09_04-AM-00_34_46
Home
Index