port notes on propositions 5.3, 5.7, 5.8

This commit is contained in:
2026-01-24 23:38:50 +01:00
parent d1e53f10df
commit 5b80edc1c9
3 changed files with 138 additions and 1 deletions

Binary file not shown.