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

auto-update(nvim): 2025-01-18 15:13:17
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:13:17 -08:00
parent b492d32b9f
commit 0a2b1ccd7f
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

@ -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).
]<euclid>
#problem[