ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13318 on D2183: Set of bytes
F13318
Formulation 2
The set of bytes is the D11: Set \begin{equation} \{ 0, 1 \}^8 \end{equation}