Nuprl Definition : lifting-loc-2
lifting-loc-2(f) == λl,a,b. lifting2-loc(f;l;a;b)
Definitions occuring in Statement :
lifting2-loc: lifting2-loc(f;loc;abag;bbag),
lambda: λx.A[x]
FDL editor aliases :
lifting-loc-2
Latex:
lifting-loc-2(f) == \mlambda{}l,a,b. lifting2-loc(f;l;a;b)
Date html generated:
2016_05_17-AM-09_15_08
Last ObjectModification:
2012_11_29-AM-11_13_33
Theory : classrel!lemmas
Home
Index