Nuprl Definition : lele
i ≤ j ≤ k == (i ≤ j) ∧ (j ≤ k)
Definitions occuring in Statement :
le: A ≤ B,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
le: A ≤ B
FDL editor aliases :
lele
Latex:
i \mleq{} j \mleq{} k == (i \mleq{} j) \mwedge{} (j \mleq{} k)
Date html generated:
2016_05_13-PM-04_01_51
Last ObjectModification:
2015_09_22-PM-05_45_44
Theory : int_1
Home
Index