Nuprl Definition : lattice-meet
a ∧ b == l."meet" a b
Definitions occuring in Statement :
record-select: r.x,
apply: f a,
token: "$token"
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:
2020_05_20-AM-08_23_30
Last ObjectModification:
2015_10_06-PM-01_46_06
Theory : lattices
Home
Index