Nuprl Definition : lattice-0

0 ==  l."0"


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


Date html generated: 2020_05_20-AM-08_24_09
Last ObjectModification: 2015_10_06-PM-01_45_44

Theory : lattices


Home Index