Nuprl Definition : fl-join
fl-join(I;x;y) == x ∨ y
Definitions occuring in Statement :
face_lattice: face_lattice(I),
lattice-join: a ∨ b
Definitions occuring in definition :
lattice-join: a ∨ b,
face_lattice: face_lattice(I)
FDL editor aliases :
fl-join
Latex:
fl-join(I;x;y) == x \mvee{} y
Date html generated:
2016_05_18-PM-00_16_31
Last ObjectModification:
2015_11_05-AM-00_37_39
Theory : cubical!type!theory
Home
Index