Nuprl Definition : partition-refines
P refines Q == frs-refines(P;Q)
Definitions occuring in Statement :
frs-refines: frs-refines(p;q)
Definitions occuring in definition :
frs-refines: frs-refines(p;q)
FDL editor aliases :
partition-refines
partition-refines
Latex:
P refines Q == frs-refines(P;Q)
Date html generated:
2016_05_18-AM-09_05_18
Last ObjectModification:
2015_09_23-AM-09_09_59
Theory : reals
Home
Index