youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-01-18 15:10:20
Some checks are pending
Deploy Quartz site to GitHub Pages using Nix / build (push) Waiting to run
Details
Deploy Quartz site to GitHub Pages using Nix / deploy (push) Blocked by required conditions
Details

Browse source
This commit is contained in:
Youwen Wu 2025-01-18 15:10:20 -08:00
parent 929c4e3055
commit b492d32b9f
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
documents/by-course/math-8/course-notes/main.typ
View file

@ -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$. 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 \ x = a / b \
y = c / d \ y = c / d \
y - x = (b c - a d) / (b d) y - x = (b c - a d) / (b d)