Compare commits

..

4 Commits

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 \rightarrow A \} = \{ a \ |\ a \in A \} = A \\ \{\circ\} \times A = \{ \circ \rightarrow a\ |\ a \in A \} = \{ a \ |\ a \in A \} = A \\
A \times \{\circ\}= \{ a\rightarrow \circ \ |\ a \rightarrow A \} = \{ a \ |\ a \in A \} = A A \times \{\circ\}= \{ a\rightarrow \circ \ |\ a \in A \} = \{ a \ |\ a \in A \} = A
\end{gathered} \end{gathered}
{{< /latex >}} {{< /latex >}}

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