Pigeon hole principle. (1990)

by Wojciech A Trybulec
Venue:Formalized Mathematics,