lean_workbook_plus_139

If $m$ is a multiple of $n$ , then $m$ can be expressed as $m = nx$ where $x$ is an integer. Since $0$ is an integer, then yes you would consider $0$ a multiple of all naturals.