Nuprl Definition : proj-permute

proj-permute(p;f) ==  p o f


Definitions occuring in Statement :  compose: f o g
Definitions occuring in definition :  compose: f o g
FDL editor aliases :  proj-permute
Latex:
proj-permute(p;f)  ==    p  o  f


Date html generated: 2017_10_05-AM-00_20_45
Last ObjectModification: 2017_06_17-AM-10_10_06

Theory : inner!product!spaces


Home Index