Nuprl Definition : lift guard

lift guard(x) ==  x


FDL editor aliases :  lift guard
Latex:
lift  guard(x)  ==    x


Date html generated: 2016_05_15-PM-06_26_17
Last ObjectModification: 2015_09_23-AM-08_03_10

Theory : general


Home Index