Nuprl Definition : le
A ≤ B ==  (¬less_than'(B;A)) ∧ (A ∈ ℤ) ∧ (B ∈ ℤ)
Definitions occuring in Statement : 
not: ¬A
, 
and: P ∧ Q
, 
member: t ∈ T
, 
int: ℤ
Definitions occuring in definition : 
not: ¬A
, 
and: P ∧ Q
, 
member: t ∈ T
, 
int: ℤ
Rules referencing : 
remainderBounds1, 
remainderBounds2, 
remainderBounds3, 
remainderBounds4
FDL editor aliases : 
le
Latex:
A  \mleq{}  B  ==    (\mneg{}less\_than'(B;A))  \mwedge{}  (A  \mmember{}  \mBbbZ{})  \mwedge{}  (B  \mmember{}  \mBbbZ{})
Date html generated:
2016_05_13-PM-03_04_22
Last ObjectModification:
2015_09_22-PM-05_43_40
Theory : core_1
Home
Index