Skip to content

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

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/15612-gt16d-refs-residuel
Sep 14, 2026
Merged

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 re…

c99154d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar