Skip to content
Snippets Groups Projects
Commit 2b0d874d authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Show that Pigeon hole principle on nat is a special case of the finite version.

parent 296f00b9
No related branches found
No related tags found
1 merge request!373Add Pigeon Hole principle.
Pipeline #64647 passed
Stage: build