ThmDex – An index of mathematical definitions, results, and conjectures.
F13319
Formulation 0
Let $|\cdot|$ be the D2184: Set cardinality operation.
Then \begin{equation} \left| \{ 0, 1 \}^8 \right| = 256 \end{equation}