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 :
lambda: λx.A[x],
fg-hom: fg-hom(G;f;w)
FDL editor aliases :
fg-lift
Latex:
fg-lift(G;f) == \mlambda{}w.fg-hom(G;f;w)
Date html generated:
2020_05_20-AM-08_23_07
Last ObjectModification:
2017_01_16-AM-00_02_55
Theory : free!groups
Home
Index