Compare commits
No commits in common. "e7cb818f055d91faabfe3eb4919b6508b29d28c6" and "baa199c50f2bd4529703544b0749959cb2ca2b00" have entirely different histories.
e7cb818f05
...
baa199c50f
@ -330,8 +330,8 @@ identity as \\(\\{\\circ\\}\\), and verify that it is indeed the identity:
|
||||
|
||||
{{< latex >}}
|
||||
\begin{gathered}
|
||||
\{\circ\} \times A = \{ \circ \rightarrow a\ |\ a \in A \} = \{ a \ |\ a \in A \} = A \\
|
||||
A \times \{\circ\}= \{ a\rightarrow \circ \ |\ 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 \rightarrow A \} = \{ a \ |\ a \in A \} = A
|
||||
\end{gathered}
|
||||
{{< /latex >}}
|
||||
|
||||
|
@ -1 +1 @@
|
||||
Subproject commit f56465c5ecf559b36201715f2cad51cd00e2a793
|
||||
Subproject commit 667440d2e3276f11961f425ab28939ca5836c904
|
Loading…
Reference in New Issue
Block a user