From 41b6d30df498e0d867c35602051eea68c4c9b8f6 Mon Sep 17 00:00:00 2001 From: Michael Shulman Date: Mon, 23 Jun 2025 13:24:24 -0700 Subject: [PATCH] fix typo in Exercise 2.19, close #1177 --- basics.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basics.tex b/basics.tex index 6d2a73c5..d18f5a65 100644 --- a/basics.tex +++ b/basics.tex @@ -2691,7 +2691,7 @@ \section{Universal properties} \end{ex} \begin{ex}\label{ex:sigma-eq-components-neq} - We have seen that $\bfalse \neq \btrue$ (\cref{rmk:false-neq-true}). Show that, nevertheless, $(\bool, \bfalse) =_{\sm{A:\type}A} (\bool, \btrue)$ (see \cref{rmk:sigma-equality-extraction}). + We have seen that $\bfalse \neq \btrue$ (\cref{rmk:true-neq-false}). Show that, nevertheless, $(\bool, \bfalse) =_{\sm{A:\type}A} (\bool, \btrue)$ (see \cref{rmk:sigma-equality-extraction}). \end{ex} % Local Variables: