add extended proof of lemma 6.2

This commit is contained in:
2026-02-01 17:12:22 +01:00
parent 5e08a390b9
commit c0484e6304
2 changed files with 118 additions and 2 deletions

Binary file not shown.