We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b8732eb commit 436c708Copy full SHA for 436c708
chapters/cubical_model.tex
@@ -282,7 +282,7 @@ \subsection{The category of cubes}
282
x = x \lor (x \land y) = x \land (x \lor y) & \text{lattice absorption} \\
283
\hline
284
{\sim} (x \land y) = {\sim} x \lor {\sim} y & \text{de Morgan's first law} \\
285
- {\sim} (x \lor y) = {\sim} x \land {\sim} y & \text{de Morgan's sercond law}
+ {\sim} (x \lor y) = {\sim} x \land {\sim} y & \text{de Morgan's second law}
286
\end{array}
287
\]
288
\end{small}
0 commit comments