Furstenberg's proof of infinitude of primes

[luigi-massacci]

Formal version of Furstenberg's proof of infinitude of primes, fixed copy-paste error in blueprint

[google-cla]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

[mo271]

Thanks that looks very good!

you mentioned you signed the google CLA on zulip, is the e-mail address associated to this commit the same you use to sign the cla?
If not, no problem, either you can add your address to your github account to associate it, or we can change the address on the commit.
You can see the address by running git log or on the commit

[luigi-massacci]

The email is indeed the same. Maybe I just have to wait a bit for something to update somewhere?

[mo271]

works now, great!