I was surprised that we do not have the Pigeon hole principle. It's a trivial consequence of results we already have on Finite types and cardinalities.
00:04:16
2 years ago
No artifacts found
00:04:22
00:04:32
00:03:05
