Properties of subsets (1989)

by Zinaida Trybulec
Venue:Journal of Formalized Mathematics
Citations:1187 - 0 self