Nuprl Definition : per-apply

per-apply(f;x) ==  f x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  per-apply
Latex:
per-apply(f;x)  ==    f  x


Date html generated: 2016_05_13-PM-03_53_58
Last ObjectModification: 2015_09_22-PM-05_45_31

Theory : per!type


Home Index