update notations and fix typos

This commit is contained in:
Zheyuan Wu
2025-02-25 20:41:35 -06:00
parent 419ea07352
commit 27bff83685
71 changed files with 920 additions and 430 deletions

View File

@@ -36,7 +36,7 @@ So $m^2$ is divisible by 4, $2n^2$ is divisible by 4.
So $n^2$ is even. but they are not both even.
EOP
QED
### Theorem (No closest rational for a irrational number)