Nuprl Definition : so_apply13

x[a;b;c;d;e;f;g;h;i;j;k;l;m] ==  m



Definitions occuring in Statement :  apply: a
Definitions occuring in definition :  apply: a

Latex:
x[a;b;c;d;e;f;g;h;i;j;k;l;m]  ==    x  a  b  c  d  e  f  g  h  i  j  k  l  m



Date html generated: 2020_05_19-PM-09_34_59
Last ObjectModification: 2020_01_21-PM-05_16_43

Theory : core_2


Home Index