Minor edit

This commit is contained in:
Mark 2024-03-08 10:17:26 -08:00
parent d39fac10c6
commit b6ae87b971
Signed by: Mark
GPG Key ID: C6D63995FE72FD80

View File

@ -51,7 +51,7 @@ This is a structure with the universe $\mathbb{Z}$ that contains the following s
\vspace{2mm}
If you look at our set of constant symbols, you'll see that the only integers we can directly refer to in this structure are 0 and 1. If we want any others, we must define them using the tools this structure offers.
If we look at our set of constant symbols, we see that the only integers we can directly refer to in this structure are 0 and 1. If we want any others, we must define them using the tools this structure offers.
\vspace{1mm}