Nuprl Definition : so_apply1
x[s] == x s
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
FDL editor aliases :
so_apply1
Latex:
x[s] == x s
Date html generated:
2016_05_13-PM-03_04_39
Last ObjectModification:
2015_09_22-PM-05_43_41
Theory : core_2
Home
Index