Nuprl Definition : awf-leaf

awf-leaf(x) ==  inl x


Definitions occuring in Statement :  inl: inl x
Definitions occuring in definition :  inl: inl x
FDL editor aliases :  awf-leaf
Latex:
awf-leaf(x)  ==    inl  x


Date html generated: 2016_05_15-PM-07_24_43
Last ObjectModification: 2015_09_23-AM-08_14_43

Theory : general


Home Index