Nuprl Definition : class-ap
X(e) == X es e
Definitions occuring in Statement
:
apply:
f a
FDL editor aliases
:
class-ap
X(e) == X es e
Date html generated: 2015_07_17-PM-00_14_08
Last ObjectModification: 2012_04_04-PM-05_47_17
Home
Index