Nuprl Definition : fg-lift
fg-lift(G;f) == λw.fg-hom(G;f;w)
Definitions occuring in Statement :
fg-hom: fg-hom(G;f;w),
lambda: λx.A[x]
Definitions occuring in definition :
fg-hom: fg-hom(G;f;w),
lambda: λx.A[x]
FDL editor aliases :
fg-lift
Latex:
fg-lift(G;f) == \mlambda{}w.fg-hom(G;f;w)
Date html generated:
2017_01_19-PM-02_51_28
Last ObjectModification:
2017_01_16-AM-00_02_55
Theory : free!groups
Home
Index