Nuprl Definition : lattice-1

1 ==  l."1"


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


Date html generated: 2020_05_20-AM-08_24_07
Last ObjectModification: 2015_10_06-PM-01_45_47

Theory : lattices


Home Index