Nuprl Definition : quo-lift

quo-lift(f) ==  f


FDL editor aliases :  quo-lift
Latex:
quo-lift(f)  ==    f


Date html generated: 2016_10_21-AM-09_44_11
Last ObjectModification: 2016_08_08-PM-09_13_35

Theory : quot_1


Home Index