Nuprl Definition : memb22

memb22(T;t) ==  eq22(T; t; t)


FDL editor aliases :  memb22
memb22(T;t)  ==    eq22(T;  t;  t)


Date html generated: 2015_07_17-AM-07_45_28
Last ObjectModification: 2012_07_18-PM-02_30_20

Home Index