Nuprl Definition : sg-inv

x^-1 ==  sg."inv" x


Definitions occuring in Statement :  apply: f a,  token: "$token",  record-select: r.x
Definitions occuring in definition :  token: "$token",  record-select: r.x,  apply: f a
FDL editor aliases :  sg-inv
Latex:
x\^{}-1  ==    sg."inv"  x


Date html generated: 2016_11_08-AM-09_11_28
Last ObjectModification: 2016_11_02-PM-06_47_32

Theory : inner!product!spaces


Home Index