Nuprl Definition : exposed-it

exposed-it ==  Ax


Definitions occuring in Statement :  axiom: Ax
Definitions occuring in definition :  axiom: Ax
Latex:
exposed-it  ==    Ax


Date html generated: 2016_05_13-PM-03_08_47
Last ObjectModification: 2016_01_04-AM-10_25_58

Theory : core_2


Home Index