fix(gametheory,#15612): GT-16d -- 3 refs Lean stale residuelles du renum (22c/26/27 -> 21c/24/25) - #16039

Sep 14, 2026

fix(gametheory,#15612): GT-16d -- 3 refs Lean stale residuelles du renum (22c/26/27 -> 21c/24/25)#16039
myia-ai-01 merged 1 commit into
mainfrom
fix/15612-gt16d-refs-residuel

fix(gametheory,#15612): GT-16d -- 3 refs Lean stale residuelles du renum (22c/26/27 -> 21c/24/25)