Nuprl Definition : conjugate

conjugate(f;g) ==  inv(g) o (f o g)


Definitions occuring in Statement :  funinv: inv(f),  compose: f o g
Definitions occuring in definition :  funinv: inv(f),  compose: f o g
FDL editor aliases :  conjugate
Latex:
conjugate(f;g)  ==    inv(g)  o  (f  o  g)


Date html generated: 2016_05_15-PM-06_12_14
Last ObjectModification: 2015_09_23-AM-08_02_11

Theory : general


Home Index