Nuprl Definition : Accum-class

Accum-class(f;init;X) ==  lifting-2(f)|X,Prior(self)?init|


Definitions occuring in Statement :  rec-combined-class-opt-1: F|X,Prior(self)?init|,  lifting-2: lifting-2(f)
FDL editor aliases :  Accum-class
Latex:
Accum-class(f;init;X)  ==    lifting-2(f)|X,Prior(self)?init|


Date html generated: 2016_05_17-AM-09_21_12
Last ObjectModification: 2012_11_29-AM-11_14_16

Theory : classrel!lemmas


Home Index