Nuprl Definition : in-bar

in-bar(b) ==  inl b


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


Date html generated: 2016_05_14-AM-06_19_57
Last ObjectModification: 2015_09_22-PM-05_47_35

Theory : co-recursion


Home Index