Nuprl Definition : proper-iseg
L1 < L2 == L1 ≤ L2 ∧ (¬(L1 = L2 ∈ (T List)))
Definitions occuring in Statement :
iseg: l1 ≤ l2,
list: T List,
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q,
iseg: l1 ≤ l2,
not: ¬A,
equal: s = t ∈ T,
list: T List
FDL editor aliases :
proper-iseg
Latex:
L1 < L2 == L1 \mleq{} L2 \mwedge{} (\mneg{}(L1 = L2))
Date html generated:
2016_05_14-PM-03_03_45
Last ObjectModification:
2015_09_22-PM-05_58_29
Theory : list_1
Home
Index