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 >}}
|
{{< 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
|
Loading…
Reference in New Issue
Block a user