Nuprl Definition : lelt
i ≤ j < k == (i ≤ j) ∧ j < k
Definitions occuring in Statement :
less_than: a < b,
le: A ≤ B,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
le: A ≤ B,
less_than: a < b
FDL editor aliases :
lelt
Latex:
i \mleq{} j < k == (i \mleq{} j) \mwedge{} j < k
Date html generated:
2016_05_13-PM-03_32_44
Last ObjectModification:
2015_09_22-PM-05_44_56
Theory : arithmetic
Home
Index