Nuprl Definition : compat

l1 || l2 ==  l1 ≤ l2 ∨ l2 ≤ l1



Definitions occuring in Statement :  iseg: l1 ≤ l2 or: P ∨ Q
Definitions occuring in definition :  or: P ∨ Q iseg: l1 ≤ l2
FDL editor aliases :  compat

Latex:
l1  ||  l2  ==    l1  \mleq{}  l2  \mvee{}  l2  \mleq{}  l1



Date html generated: 2016_05_14-PM-01_34_32
Last ObjectModification: 2015_09_22-PM-05_54_20

Theory : list_1


Home Index