Read news on infinite descent with our app.
Read more in the app
A proof of proof by infinite descent