Nuprl Definition : member-mapfilter-witness

member-mapfilter-witness() ==  TERMOF{member-mapfilter-univ:o, 1:l, 1:l}



Definitions occuring in definition :  member-mapfilter-univ
TermOfs occuring in Definition :  member-mapfilter-univ
FDL editor aliases :  member-mapfilter-witness

Latex:
member-mapfilter-witness()  ==    TERMOF\{member-mapfilter-univ:o,  1:l,  1:l\}



Date html generated: 2016_05_14-AM-07_50_32
Last ObjectModification: 2016_01_05-PM-00_16_44

Theory : list_1


Home Index