add missing conclusion at proposition 5.3

This commit is contained in:
2026-01-25 12:59:52 +01:00
parent 5b80edc1c9
commit 6df4b37939
3 changed files with 12 additions and 0 deletions

Binary file not shown.