[Analysis] Summarize up to proposition 3.2.9

This commit is contained in:
2025-10-19 08:37:02 +02:00
parent 6f0d67aa75
commit 6214d2cac9
2 changed files with 24 additions and 1 deletions