Functions from a set to a set. (1990)

by Czesław Byliński
Venue:Formalized Mathematics,