Skip to content

Update LegendreConjecture.lean

5e768ee
Select commit
Loading
Failed to load commit list.
Merged

feat(ErdosProblems): 375 #1497

Update LegendreConjecture.lean
5e768ee
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Jan 18, 2026 in 2s

✅ 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:

5e768ee Author: @CoolRmal <97214596+CoolRmal​@users.noreply.github.com>
0642840 Co-Author: @YaelDillies <yae******ies​@gmail.com>
62fe4b5 Co-Author: <pau******au​@gmail.com>

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