Nuprl Definition : rfun-ap
f(x) == f x
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
FDL editor aliases :
rfun-ap
Latex:
f(x) == f x
Date html generated:
2017_10_04-PM-11_02_03
Last ObjectModification:
2017_06_30-PM-03_17_03
Theory : reals_2
Home
Index