Nuprl Definition : groupoid-inv
groupoid-inv(G;x;y;x_y) == (snd(G)) x y x_y
Definitions occuring in Statement :
pi2: snd(t),
apply: f a
Definitions occuring in definition :
apply: f 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:
2020_05_20-AM-07_55_11
Last ObjectModification:
2015_09_23-AM-09_29_20
Theory : small!categories
Home
Index