Nuprl Definition : ap-action
h(x) == a h x
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
FDL editor aliases :
ap-action
Latex:
h(x) == a h x
Date html generated:
2017_10_02-PM-03_25_32
Last ObjectModification:
2017_07_03-PM-01_51_41
Theory : constructive!algebra
Home
Index