From 0a2b1ccd7fe41b17668cc336c73666c34cda58f5 Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Sat, 18 Jan 2025 15:13:17 -0800 Subject: [PATCH] auto-update(nvim): 2025-01-18 15:13:17 --- documents/by-course/math-8/course-notes/main.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documents/by-course/math-8/course-notes/main.typ b/documents/by-course/math-8/course-notes/main.typ index 53e7057..27e5adf 100644 --- a/documents/by-course/math-8/course-notes/main.typ +++ b/documents/by-course/math-8/course-notes/main.typ @@ -410,7 +410,7 @@ non-perfect square is irrational. ] #problem("Euclid's Theorem")[ - Show that there are an infinite amount of prime numbers. + Show the infinitude of primes (there are an infinite amount of prime numbers). ] #problem[