Nuprl Definition : MMTree

MMTree(T) == {p:MMTreeco(T)| (MMTreeco_size(p))↓}

Definitions occuring in Statement : MMTreeco_size: MMTreeco_size(p), MMTreeco: MMTreeco(T), has-value: (a)↓, set: {x:A| B[x]}
FDL editor aliases : MMTree
MMTree(T) == \{p:MMTreeco(T)| (MMTreeco\_size(p))\mdownarrow{}\} Date html generated: 2015_07_17-AM-07_46_47 Last ObjectModification: 2014_05_06-PM-02_42_32 Home Index