Nuprl Definition : real*-ap

x(n) ==  x n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  real*-ap
Latex:
x(n)  ==    x  n


Date html generated: 2018_05_22-PM-03_13_39
Last ObjectModification: 2017_10_06-PM-03_20_50

Theory : reals_2


Home Index