Nuprl Definition : lattice-ble
lattice-ble(l;eq;a;b) == eq a a ∧ b
Definitions occuring in Statement :
lattice-meet: a ∧ b,
apply: f a
Definitions occuring in definition :
apply: f a,
lattice-meet: a ∧ b
FDL editor aliases :
lattice-ble
Latex:
lattice-ble(l;eq;a;b) == eq a a \mwedge{} b
Date html generated:
2016_05_18-AM-11_23_28
Last ObjectModification:
2015_10_06-PM-01_44_45
Theory : lattices
Home
Index