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