Import the Aaronson–Ambainis influence conjecture formalization - #778

Import the Aaronson–Ambainis influence conjecture formalization#778

Vilin97 merged 5 commits into

mainLeanPool/lean-pool:mainfrom

codex/daily-aaronson-ambainis-20261108LeanPool/lean-pool:codex/daily-aaronson-ambainis-20261108Copy head branch name to clipboard