Nuprl Definition : concat-lifting-loc

concat-lifting-loc(n;bags;loc;f) == concat-lifting(n;f loc;bags)

Definitions occuring in Statement : apply: f a, concat-lifting: concat-lifting(n;f;bags)
FDL editor aliases : concat-lifting-loc

Latex:
concat-lifting-loc(n;bags;loc;f) == concat-lifting(n;f loc;bags) Date html generated: 2015_07_22-PM-00_07_59 Last ObjectModification: 2012_11_29-AM-11_13_36 Home Index