Update Tue Jan 16 16:18:36 EST 2024

hrmacbeth · Jan 16, 2024 · e777e77 · e777e77
1 parent be3c38d
commit e777e77
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Math2001/Homework/hw0.lean b/Math2001/Homework/hw0.lean
@@ -7,8 +7,7 @@ math2001_init
 
 /-! # Homework 0
 
-Don't forget to compare with the text version,
-https://hrmacbeth.github.io/math2001/Homework.html#homework-0
+Don't forget to compare with the text version
 for clearer statements and any special instructions. -/
 
 

diff --git a/html/04_Proofs_with_Structure_II.html b/html/04_Proofs_with_Structure_II.html
@@ -1341,7 +1341,7 @@ <h3><span class="section-number">4.4.5. </span>Example<a class="headerlink" href
 \[\begin{split}c ^ 2 &amp; = a ^ 2 + b ^ 2 \\
 &amp;\le 2^2+1^2\\
 &amp;&lt;3^2.\end{split}\]</div>
-<p>Since 3 is positive, this implies that <span class="math notranslate nohighlight">\(c&lt;3\)</span>.  We now have upper bounds <span class="math notranslate nohighlight">\(a \le 2\)</span>,
+<p>This implies that <span class="math notranslate nohighlight">\(c&lt;3\)</span>.  We now have upper bounds <span class="math notranslate nohighlight">\(a \le 2\)</span>,
 <span class="math notranslate nohighlight">\(b \le 1\)</span>, <span class="math notranslate nohighlight">\(c &lt; 3\)</span>, so <span class="math notranslate nohighlight">\(a\)</span> is 1 or 2, <span class="math notranslate nohighlight">\(b\)</span> is 1, and <span class="math notranslate nohighlight">\(c\)</span> is 1 or 2.
 We can analyze all these cases and check they don&#8217;t work:</p>
 <div class="math notranslate nohighlight">