Nuprl Definition : name-comp

(f o g) ==  uext(g) o f


Definitions occuring in Statement :  uext: uext(g),  compose: f o g
Definitions occuring in definition :  compose: f o g,  uext: uext(g)
FDL editor aliases :  name-comp
Latex:
(f  o  g)  ==    uext(g)  o  f


Date html generated: 2016_05_20-AM-09_31_40
Last ObjectModification: 2015_09_23-AM-09_29_39

Theory : cubical!sets


Home Index