Nuprl Definition : so_apply6
x[a;b;c;d;e;f] == x a b c d e f
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
Latex:
x[a;b;c;d;e;f] == x a b c d e f
Date html generated:
2016_05_13-PM-03_04_41
Last ObjectModification:
2016_01_04-AM-10_25_07
Theory : core_2
Home
Index