Nuprl Definition : so_apply5
x[s1;s2;s3;s4;s5] == x s1 s2 s3 s4 s5
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f 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