Finite sets (1989)

by Agata Darmochwal
Venue:Journal of Formalized Mathematics