Nuprl Definition : memb22

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


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


Date html generated: 2016_05_16-AM-08_52_03
Last ObjectModification: 2012_07_18-PM-02_30_20

Theory : C-semantics


Home Index