Nuprl Definition : lattice-meet

a ∧ ==  l."meet" b



Definitions occuring in Statement :  apply: a token: "$token" record-select: r.x
Definitions occuring in definition :  apply: a record-select: r.x token: "$token"
FDL editor aliases :  lattice-meet

Latex:
a  \mwedge{}  b  ==    l."meet"  a  b



Date html generated: 2016_05_18-AM-11_19_20
Last ObjectModification: 2015_10_06-PM-01_46_06

Theory : lattices


Home Index