DMCA

Functions from a set to a set (1989)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:1075 - 22 self