thm__omega_equinumerous_with_omega_squared.tex

\documentclass{classes/tikzcd}

\begin{document}
  \begin{tikzcd}
    A_0 & A_1 \ar[ld, dash] & A_2 \ar[ld, dash] & A_3 \ar[ld, dash] \\
    A_1 & A_2 \ar[ld, dash] & A_3 \ar[ld, dash] &                   \\
    A_2 & A_3 \ar[ld, dash] &                   &                   \\
    A_3 &                   &                   &
  \end{tikzcd}

  \begin{tikzcd}
    0 \ar[r]     & 1 \ar[ld] & 3 \ar[ld] & 6 \ar[ld] \\
    2 \ar[rru]   & 4 \ar[ld] & 7 \ar[ld] &           \\
    5 \ar[rrruu] & 8 \ar[ld] &           &           \\
    9            &           &           &
  \end{tikzcd}
\end{document}