MathItems

Definition D27

Defines:

integer-divisor
notation-integer-divisible

Item references:

D26

Concept references:

integer-divisible

We express the fact that $a$ is divisible by $b$ , or $b$ is a divisor of $a$ , by $b\mid a$ .

Created at 2016-11-04 08:51

Validations:

Hardy, G. H. and Wright, E. M., An Introduction to the Theory of Numbers (Oxford Science Publications), Page 1