Nuprl Definition : groupoid-inv

groupoid-inv(G;x;y;x_y) ==  (snd(G)) x_y



Definitions occuring in Statement :  pi2: snd(t) apply: a
Definitions occuring in definition :  apply: a pi2: snd(t)
FDL editor aliases :  groupoid-inv

Latex:
groupoid-inv(G;x;y;x$_{y}$)  ==    (snd(G))  x  y  x$_{y}$



Date html generated: 2016_05_18-AM-11_54_24
Last ObjectModification: 2015_09_23-AM-09_29_20

Theory : small!categories


Home Index