Nuprl Definition : so_apply14
x[a;b;c;d;e;f;g;h;i;j;k;l;m;n] == x a b c d e f g h i j k l m n
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;k;l;m;n] == x a b c d e f g h i j k l m n
Date html generated:
2020_05_19-PM-09_34_59
Last ObjectModification:
2020_01_21-PM-05_09_19
Theory : core_2
Home
Index