Nuprl Definition : allowed

allowed(x) ==  usquash(fst(x))


Definitions occuring in Statement :  usquash: usquash(T),  pi1: fst(t)
Definitions occuring in definition :  usquash: usquash(T),  pi1: fst(t)
FDL editor aliases :  allowed allowed
Latex:
allowed(x)  ==    usquash(fst(x))


Date html generated: 2020_05_20-AM-08_00_49
Last ObjectModification: 2020_05_17-PM-00_46_41

Theory : monads


Home Index