Functions from a set to a set (1990)

by CzesÃlaw Byliński
Venue:Formalized Mathematics