Nuprl Definition : lattice-point

Point(l) ==  l."Point"


Definitions occuring in Statement :  record-select: r.x,  token: "$token"
Definitions occuring in definition :  record-select: r.x,  token: "$token"
FDL editor aliases :  lattice-point
Latex:
Point(l)  ==    l."Point"


Date html generated: 2020_05_20-AM-08_23_27
Last ObjectModification: 2015_10_06-PM-01_46_08

Theory : lattices


Home Index