Nuprl Definition : divides
b | a == ∃c:ℤ. (a = (b * c) ∈ ℤ)
Definitions occuring in Statement :
exists: ∃x:A. B[x],
multiply: n * m,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
exists: ∃x:A. B[x],
equal: s = t ∈ T,
int: ℤ,
multiply: n * m
FDL editor aliases :
divides
Latex:
b | a == \mexists{}c:\mBbbZ{}. (a = (b * c))
Date html generated:
2016_05_14-PM-04_15_43
Last ObjectModification:
2015_09_22-PM-06_02_34
Theory : num_thy_1
Home
Index