ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13472 on D6331: Nibble
F13472
Formulation 0
A D63: Finite sequence $(x_0, x_1, x_2, x_3)$ is a nibble if and only if \begin{equation} x_0, x_1, x_2, x_3 \in \{ 0, 1 \} \end{equation}