add R.4.3's proof & 4.4

This commit is contained in:
2026-01-01 21:54:36 +01:00
parent c32d8b831b
commit 9e4d129ab9
3 changed files with 72 additions and 3 deletions

Binary file not shown.