Nuprl Definition : cp-domain

cp-domain(cp) ==  fpf-domain(cp)


Definitions occuring in Statement :  fpf-domain: fpf-domain(f)
FDL editor aliases :  cp-domain
Latex:
cp-domain(cp)  ==    fpf-domain(cp)


Date html generated: 2016_05_16-PM-00_55_17
Last ObjectModification: 2013_03_27-AM-10_56_35

Theory : event-ordering


Home Index