Nuprl Definition : partition-mesh

partition-mesh(I;p) ==  frs-mesh(full-partition(I;p))


Definitions occuring in Statement :  full-partition: full-partition(I;p),  frs-mesh: frs-mesh(p)
Definitions occuring in definition :  frs-mesh: frs-mesh(p),  full-partition: full-partition(I;p)
FDL editor aliases :  partition-mesh partition-mesh
Latex:
partition-mesh(I;p)  ==    frs-mesh(full-partition(I;p))


Date html generated: 2016_05_18-AM-08_56_21
Last ObjectModification: 2015_09_23-AM-09_09_13

Theory : reals


Home Index