typo & JP theorem

This commit is contained in:
2025-05-14 10:29:02 +08:00
parent f1f1935565
commit ed771de39a
2 changed files with 10 additions and 10 deletions

BIN
main.pdf

Binary file not shown.