Nuprl Definition : allow

allow(x) ==  snd(x)


Definitions occuring in Statement :  pi2: snd(t)
Definitions occuring in definition :  pi2: snd(t)
FDL editor aliases :  allow allow
Latex:
allow(x)  ==    snd(x)


Date html generated: 2020_05_20-AM-08_00_57
Last ObjectModification: 2020_05_17-PM-00_54_31

Theory : monads


Home Index