Skip to content

Update 847.lean

88951d7
Select commit
Loading
Failed to load commit list.
Open

feat(ErdosProblems): 847 #1400

Update 847.lean
88951d7
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:

88951d7 Author: @archiebrowne <arc******o01​@gmail.com>, <94995351+archiebrowne​@users.noreply.github.com>
a1fd757 Co-Author: <pau******au​@gmail.com>

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