Pigeonhole principle
A total map from a larger finite domain into a smaller finite codomain sends two distinct source elements to the same value.
atlas-pigeonhole-principle · canonical_mko
Pigeonhole principle
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data