From b492d32b9f71e7fcf19ac54417287eaf8ff2a6fd Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Sat, 18 Jan 2025 15:10:20 -0800 Subject: [PATCH] auto-update(nvim): 2025-01-18 15:10:20 --- 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 a1d45c9..53e7057 100644 --- a/documents/by-course/math-8/course-notes/main.typ +++ b/documents/by-course/math-8/course-notes/main.typ @@ -524,7 +524,7 @@ where $x < y$, $exists z in QQ$ such that $x < z < y$. First, let us take the difference between $x$ and $y$. $ - exists a,b in ZZ \ + exists a,b,c,d in ZZ \ x = a / b \ y = c / d \ y - x = (b c - a d) / (b d)