Nuprl Definition : so_apply10
x[a;b;c;d;e;f;g;h;i;j] ==  x a b c d e f g h i j
Definitions occuring in Statement : 
apply: f a
Definitions occuring in definition : 
apply: f a
Latex:
x[a;b;c;d;e;f;g;h;i;j]  ==    x  a  b  c  d  e  f  g  h  i  j
Date html generated:
2020_05_19-PM-09_34_58
Last ObjectModification:
2020_01_21-PM-05_18_51
Theory : core_2
Home
Index