Nuprl Definition : so_apply5

x[s1;s2;s3;s4;s5] ==  s1 s2 s3 s4 s5



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

Latex:
x[s1;s2;s3;s4;s5]  ==    x  s1  s2  s3  s4  s5



Date html generated: 2016_05_13-PM-03_04_41
Last ObjectModification: 2015_09_22-PM-05_43_42

Theory : core_2


Home Index