lean_workbook_plus_69941

For any positive integer $k$ , the unit digit of $k$ is the remainder when $k$ is divided by 10, or simply $k\bmod{10}$ in modular arithmetic.