Skip to content

ErdosProblems: add 71, 206, 209, 328, 353, 403, 426, 464, 512, 621, 639, 648 (#3998 sync)#4385

Open
williamjblair wants to merge 5 commits into
google-deepmind:mainfrom
williamjblair:erdos-campaign-batch-5
Open

ErdosProblems: add 71, 206, 209, 328, 353, 403, 426, 464, 512, 621, 639, 648 (#3998 sync)#4385
williamjblair wants to merge 5 commits into
google-deepmind:mainfrom
williamjblair:erdos-campaign-batch-5

Address review: extract shared defs to ForMathlib (426, 512)

8f6648f
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Jul 5, 2026 in 3s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

8f6648f Author: @williamjblair <85643015+willblair0708​@users.noreply.github.com>, <85643015+williamjblair​@users.noreply.github.com>

(Only the first commit for a unique contributor is listed.)