Nuprl Definition : fabgrp_inj

f.inj ==  fst(snd(f))



Definitions occuring in Statement :  pi1: fst(t) pi2: snd(t)
Definitions occuring in definition :  pi1: fst(t) pi2: snd(t)
FDL editor aliases :  fabgrp_inj

Latex:
f.inj  ==    fst(snd(f))



Date html generated: 2016_05_16-AM-08_13_26
Last ObjectModification: 2015_09_23-AM-09_52_31

Theory : polynom_1


Home Index