Divisibility (source code)

= Divisibility
{title2=$\mid$}
{wiki}

An <integer> $d$ divides an integer $n$, written $d\mid n$, when $n=dk$ for some integer $k$.