Nuprl Definition : bool-to-neg-dcdr

{f}q ==  TERMOF{bool-to-neg-dcdr-aux:o, 1:l, i:l} f


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  bool-to-neg-dcdr-aux
FDL editor aliases :  bool-to-neg-dcdr
Latex:
\{f\}\msubq{}  ==    TERMOF\{bool-to-neg-dcdr-aux:o,  1:l,  i:l\}  f


Date html generated: 2016_05_15-PM-03_27_53
Last ObjectModification: 2015_09_23-AM-07_43_28

Theory : general


Home Index