Nuprl Definition : lattice-meet
a ∧ b ==  l."meet" a b
Definitions occuring in Statement : 
apply: f a
, 
token: "$token"
, 
record-select: r.x
Definitions occuring in definition : 
apply: f 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