Nuprl Definition : mk-wfd-tree

mk-wfd-tree(f) ==  inr f 


Definitions occuring in Statement :  inr: inr x 
Definitions occuring in definition :  inr: inr x 
FDL editor aliases :  mk-wfd-tree
Latex:
mk-wfd-tree(f)  ==    inr  f 


Date html generated: 2016_05_15-PM-10_06_00
Last ObjectModification: 2015_09_23-AM-08_22_14

Theory : bar!induction


Home Index