Nuprl Definition : it

⋅ ==  Ax


Definitions occuring in Statement :  axiom: Ax
Definitions occuring in definition :  axiom: Ax
FDL editor aliases :  it
Latex:
\mcdot{}  ==    Ax


Date html generated: 2016_05_13-PM-03_08_45
Last ObjectModification: 2016_01_04-AM-10_25_56

Theory : core_2


Home Index