Nuprl Definition : rat-cube-sub-complex

rat-cube-sub-complex(P;L) ==  filter(P;L)


Definitions occuring in Statement :  filter: filter(P;l)
Definitions occuring in definition :  filter: filter(P;l)
FDL editor aliases :  rat-cube-sub-complex
Latex:
rat-cube-sub-complex(P;L)  ==    filter(P;L)


Date html generated: 2019_10_29-AM-07_55_42
Last ObjectModification: 2019_10_17-PM-02_17_54

Theory : rationals


Home Index