Nuprl Definition : ss-comp

ss-comp(f;g) ==  f o g


Definitions occuring in Statement :  compose: f o g
Definitions occuring in definition :  compose: f o g
FDL editor aliases :  ss-comp
Latex:
ss-comp(f;g)  ==    f  o  g


Date html generated: 2019_10_31-AM-07_27_33
Last ObjectModification: 2019_03_19-PM-03_42_19

Theory : constructive!algebra


Home Index