Nuprl Definition : mcompose

mcompose(f;g) ==  g o f


Definitions occuring in Statement :  compose: f o g
FDL editor aliases :  mcompose
Latex:
mcompose(f;g)  ==    g  o  f


Date html generated: 2020_05_20-AM-11_40_14
Last ObjectModification: 2019_11_20-PM-02_07_19

Theory : reals


Home Index