docs(lean,#15944): record announced resolution of Beck-Fiala/Komlos (arXiv:2609.11189), prose-only - #15952

docs(lean,#15944): record announced resolution of Beck-Fiala/Komlos (arXiv:2609.11189), prose-only#15952

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

feature/15944-discrepancy-statusjsboige/CoursIA:feature/15944-discrepancy-statusCopy head branch name to clipboard