Pigeon hole principle (1990)

by Wojciech A Trybulec
Venue:Formalized Mathematics