Compare commits

..

No commits in common. "e7cb818f055d91faabfe3eb4919b6508b29d28c6" and "baa199c50f2bd4529703544b0749959cb2ca2b00" have entirely different histories.

2 changed files with 3 additions and 3 deletions

View File

@ -330,8 +330,8 @@ identity as \\(\\{\\circ\\}\\), and verify that it is indeed the identity:
{{< latex >}} {{< latex >}}
\begin{gathered} \begin{gathered}
\{\circ\} \times A = \{ \circ \rightarrow a\ |\ a \in A \} = \{ a \ |\ a \in A \} = A \\ \{\circ\} \times A = \{ \circ \rightarrow a\ |\ a \rightarrow A \} = \{ a \ |\ a \in A \} = A \\
A \times \{\circ\}= \{ a\rightarrow \circ \ |\ a \in A \} = \{ a \ |\ a \in A \} = A A \times \{\circ\}= \{ a\rightarrow \circ \ |\ a \rightarrow A \} = \{ a \ |\ a \in A \} = A
\end{gathered} \end{gathered}
{{< /latex >}} {{< /latex >}}

@ -1 +1 @@
Subproject commit f56465c5ecf559b36201715f2cad51cd00e2a793 Subproject commit 667440d2e3276f11961f425ab28939ca5836c904